Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Infered

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