Safe Haskell	Safe-Inferred
Language	Haskell2010

LAM.Types.Pure

Description

Types for pure lambda calculus with no base values. Named and DeBruijn.

Synopsis

data Base
data DB
type Term = ETerm Base
type DBTerm = ETerm DB

Documentation

data Base #

Phantom for named terms.

Instances

Instances details

Show Term #
Instance details Defined in LAM.Types.Pure Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
CanTrim Term NamedList #
Instance details Defined in LAM.CanTrim Methods trim :: Closure Term NamedList -> Closure Term NamedList #
CanTrim Term Trie #
Instance details Defined in LAM.CanTrim Methods trim :: Closure Term Trie -> Closure Term Trie #
IsNamedEnv t => ToPureState (PState t) t #
Instance details Defined in LAM.Pure Methods toPureState :: PState t -> IO (PState t) #
(IsNamedEnv t1, IsNamedEnv t2) => ToPureState (PState t1) t2 #
Instance details Defined in LAM.Pure Methods toPureState :: PState t1 -> IO (PState t2) #
Show (Closure Term Trie) #
Instance details Defined in LAM.Pure Methods showsPrec :: Int -> Closure Term Trie -> ShowS # show :: Closure Term Trie -> String # showList :: [Closure Term Trie] -> ShowS #
(Traversable t1, CanTrim Term t1, IsNamedEnv t1, IsNamedEnv t2) => ToPureState (RState IORef Term t1) t2 #
Instance details Defined in LAM.Pure Methods toPureState :: RState IORef Term t1 -> IO (PState t2) #
type XExt Base #
Instance details Defined in LAM.Types.Pure type XExt Base = Void
type XLet Base #
Instance details Defined in LAM.Types.Pure type XLet Base = ()
type XVar Base #
Instance details Defined in LAM.Types.Pure type XVar Base = Name

data DB #

Phantom for DeBruijn terms.

Instances

Instances details

Show DBTerm #
Instance details Defined in LAM.Types.Pure Methods showsPrec :: Int -> DBTerm -> ShowS # show :: DBTerm -> String # showList :: [DBTerm] -> ShowS #
CanTrim DBTerm NamedList #
Instance details Defined in LAM.CanTrim Methods trim :: Closure DBTerm NamedList -> Closure DBTerm NamedList #
CanTrim DBTerm Seq #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods trim :: Closure DBTerm Seq -> Closure DBTerm Seq #
CanTrim DBTerm Vector #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods trim :: Closure DBTerm Vector -> Closure DBTerm Vector #
CanTrim DBTerm [] #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods trim :: Closure DBTerm [] -> Closure DBTerm [] #
ToPureState (State NamedList) NamedList #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State NamedList -> IO (PState NamedList) #
ToPureState (State NamedList) Trie #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State NamedList -> IO (PState Trie) #
ToPureState (State Seq) NamedList #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State Seq -> IO (PState NamedList) #
ToPureState (State Seq) Trie #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State Seq -> IO (PState Trie) #
ToPureState (State Vector) NamedList #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State Vector -> IO (PState NamedList) #
ToPureState (State Vector) Trie #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State Vector -> IO (PState Trie) #
ToPureState (State []) NamedList #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State [] -> IO (PState NamedList) #
ToPureState (State []) Trie #
Instance details Defined in LAM.Exec.DBNoTrimPure Methods toPureState :: State [] -> IO (PState Trie) #
Show (Closure DBTerm t) #
Instance details Defined in LAM.Pure Methods showsPrec :: Int -> Closure DBTerm t -> ShowS # show :: Closure DBTerm t -> String # showList :: [Closure DBTerm t] -> ShowS #
type XExt DB #
Instance details Defined in LAM.Types.Pure type XExt DB = Void
type XLet DB #
Instance details Defined in LAM.Types.Pure type XLet DB = ()
type XVar DB #
Instance details Defined in LAM.Types.Pure type XVar DB = Int

type Term = ETerm Base #

Named terms.

type DBTerm = ETerm DB #

DeBruijn terms.