bound-0.3.2: Haskell 98/2010 Locally-Nameless Generalized de Bruijn Terms

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Infered

Bound.Term

Description

 

Synopsis

Documentation

substitute :: (Monad f, Eq a) => f a -> a -> f a -> f aSource

substitute p a w replaces the free variable a with p in w

isClosed :: Foldable f => f a -> BoolSource

A closed term has no free variables.

closed :: Traversable f => f a -> Maybe (f b)Source

If a term has no free variables, you can freely change the type of free variables it is parameterized on.