Agda.Syntax.Internal.Generic
Documentation
class TermLike a where
Methods
traverseTerm :: (Term -> Term) -> a -> a
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m a
Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Syntax.Internal.Generic
class TermLike a where
Methods
traverseTerm :: (Term -> Term) -> a -> a
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m a