Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Syntax.Internal.Generic
Documentation
class TermLike a whereSource
Methods
traverseTerm :: (Term -> Term) -> a -> aSource
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m aSource
foldTerm :: Monoid m => (Term -> m) -> a -> mSource
show/hide Instances
Produced by Haddock version 2.4.2