Data.Comp.Param.FreshM

This module defines a monad for generating fresh, abstract names, useful e.g. for defining equality on terms.

Documentation

data FreshM a

Monad for generating fresh (abstract) names.

Instances

Monad FreshM

Defined in Data.Comp.Param.FreshM

Methods

(>>=) :: FreshM a -> (a -> FreshM b) -> FreshM b

(>>) :: FreshM a -> FreshM b -> FreshM b

return :: a -> FreshM a

fail :: String -> FreshM a

Functor FreshM

Defined in Data.Comp.Param.FreshM

Methods

fmap :: (a -> b) -> FreshM a -> FreshM b

(<$) :: a -> FreshM b -> FreshM a

Applicative FreshM

Defined in Data.Comp.Param.FreshM

Methods

pure :: a -> FreshM a

(<*>) :: FreshM (a -> b) -> FreshM a -> FreshM b

liftA2 :: (a -> b -> c) -> FreshM a -> FreshM b -> FreshM c

(*>) :: FreshM a -> FreshM b -> FreshM b

(<*) :: FreshM a -> FreshM b -> FreshM a

data Name

Abstract notion of a name (the constructor is hidden).

Instances

Eq Name

Defined in Data.Comp.Param.FreshM

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Defined in Data.Comp.Param.FreshM

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Defined in Data.Comp.Param.FreshM

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

(EqD f, PEq a) => PEq (Cxt h f Name a)

Defined in Data.Comp.Param.Equality

Methods

peq :: Cxt h f Name a -> Cxt h f Name a -> FreshM Bool

(OrdD f, POrd a) => POrd (Cxt h f Name a)

Defined in Data.Comp.Param.Ordering

Methods

pcompare :: Cxt h f Name a -> Cxt h f Name a -> FreshM Ordering

withName :: (Name -> FreshM a) -> FreshM a

Run the given computation with the next available name.

evalFreshM :: FreshM a -> a

Evaluate a computation that uses fresh names.