Safe Haskell	None
Language	Haskell98

Agda.Syntax.Internal.Generic

Contents

Synopsis

Documentation

class TermLike a where Source

Methods

foldTerm :: Monoid m => (Term -> m) -> a -> m Source

Instances

TermLike Bool Source
TermLike Char Source
TermLike Int Source
TermLike Integer Source
TermLike QName Source
TermLike EqualityView Source
TermLike LevelAtom Source
TermLike PlusLevel Source
TermLike Level Source
TermLike Type Source
TermLike Term Source
TermLike Nat Source
TermLike a => TermLike [a] Source
TermLike a => TermLike (Maybe a) Source
TermLike a => TermLike (Ptr a) Source
TermLike a => TermLike (Dom a) Source
TermLike a => TermLike (Arg a) Source
TermLike a => TermLike (Abs a) Source
TermLike a => TermLike (Elim' a) Source
(TermLike a, TermLike b) => TermLike (a, b) Source
(TermLike a, TermLike b, TermLike c) => TermLike (a, b, c) Source
(TermLike a, TermLike b, TermLike c, TermLike d) => TermLike (a, b, c, d) Source

Constants