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