Safe Haskell | Safe-Infered |
---|
Agda.Syntax.Internal.Generic
Documentation
Methods
traverseTerm :: (Term -> Term) -> a -> aSource
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m aSource
Agda-2.3.0.1: A dependently typed functional programming language and proof assistant
Safe Haskell | Safe-Infered |
---|
Agda.Syntax.Internal.Generic
Methods
traverseTerm :: (Term -> Term) -> a -> aSource
traverseTermM :: (Monad m, Applicative m) => (Term -> m Term) -> a -> m aSource