IdrisDoc: Language.Reflection.Utils

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