IdrisDoc: Language.Reflection.Utils

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