Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Syntax.Internal.Generic
Contents
Documentation
Minimal complete definition
Methods
traverseTerm :: (Term -> Term) -> a -> a #
traverseTermM :: Monad m => (Term -> m Term) -> a -> m a #
Instances
TermLike Bool # | |
TermLike Char # | |
TermLike Int # | |
TermLike Integer # | |
TermLike QName # | |
TermLike EqualityView # | |
TermLike LevelAtom # | |
TermLike PlusLevel # | |
TermLike Level # | |
TermLike Type # | |
TermLike Term # | |
TermLike Constraint # | |
TermLike Nat # | |
TermLike a => TermLike [a] # | |
TermLike a => TermLike (Maybe a) # | |
TermLike a => TermLike (Ptr a) # | |
TermLike a => TermLike (Dom a) # | |
TermLike a => TermLike (Arg a) # | |
TermLike a => TermLike (Blocked a) # | |
TermLike a => TermLike (Abs a) # | |
TermLike a => TermLike (Elim' a) # | |
(TermLike a, TermLike b) => TermLike (a, b) # | |
(TermLike a, TermLike b, TermLike c) => TermLike (a, b, c) # | |
(TermLike a, TermLike b, TermLike c, TermLike d) => TermLike (a, b, c, d) # | |