Safe Haskell | Safe-Infered |
---|
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.1: A dependently typed functional programming language and proof assistant
Safe Haskell | Safe-Infered |
---|
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