IdrisDoc
: Language.Reflection.Utils
Index
Language.Reflection.Utils
try
:
List
Tactic
->
Tactic
seq
:
List
Tactic
->
Tactic
pure
:
Raw
->
Raw
mkPair
:
a
->
b
->
(
a
,
b
)
getUName
:
TTName
->
Maybe
String
forget
:
TT
->
Maybe
Raw
binderTy
:
Binder
t
->
t
(<*>)
:
Raw
->
Raw
->
Raw
Fixity
Left associative, precedence 3