LAM-0.1.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

LAM.Trim

Documentation

type DBTrim a = (Trimmer0, a) #

newtype Trimmer0 #

Constructors

newtype Trimmer1 #

Constructors

Trimmer1 Trimmer0

data Trim0 #

Instances

Instances details

type XExt Trim0 #
Instance details Defined in LAM.Trim type XExt Trim0 = Void
type XLet Trim0 #
Instance details Defined in LAM.Trim type XLet Trim0 = (Trimmer0, [Trimmer0])
type XVar Trim0 #
Instance details Defined in LAM.Trim type XVar Trim0 = Int

data DBTTerm0 #

Constructors

DBTVar Int
DBTLam Name DBTTerm0
DBTApp DBTTerm0 Int
DBTLet [(Name, DBTrim DBTTerm0)] (DBTrim DBTTerm0)

Instances

Instances details

Show DBTTerm0 #
Instance details Defined in LAM.Trim Methods showsPrec :: Int -> DBTTerm0 -> ShowS # show :: DBTTerm0 -> String # showList :: [DBTTerm0] -> ShowS #
CanTrim DBTTerm0 NamedList #
Instance details Defined in LAM.Exec.DBTrimPure Methods trim :: Closure DBTTerm0 NamedList -> Closure DBTTerm0 NamedList #
CanTrim DBTTerm0 [] #
Instance details Defined in LAM.Exec.DBTrimPure Methods trim :: Closure DBTTerm0 [] -> Closure DBTTerm0 [] #
ToPureState (State NamedList) NamedList #
Instance details Defined in LAM.Exec.DBTrimPure Methods toPureState :: State NamedList -> IO (PState NamedList) #
ToPureState (State NamedList) Trie #
Instance details Defined in LAM.Exec.DBTrimPure Methods toPureState :: State NamedList -> IO (PState Trie) #
ToPureState (State []) Trie #
Instance details Defined in LAM.Exec.DBTrimPure Methods toPureState :: State [] -> IO (PState Trie) #
Show (Closure DBTTerm0 t) #
Instance details Defined in LAM.Exec.DBTrimPure Methods showsPrec :: Int -> Closure DBTTerm0 t -> ShowS # show :: Closure DBTTerm0 t -> String # showList :: [Closure DBTTerm0 t] -> ShowS #

annotate :: DBTerm -> DBTrim DBTTerm0 #

toDBTTerm0 :: DBTerm -> DBTTerm0 #

fromDBTTerm0Trim :: DBTrim DBTTerm0 -> DBTerm #

fromDBTTerm0 :: DBTTerm0 -> DBTerm #

toDBTTerm0' :: Term -> DBTTerm0 #

termFromDBTTerm0 :: DBTTerm0 -> Term #

termToDBTTerm0 :: Term -> DBTTerm0 #

data DBTTerm1 #

Constructors

DBTVar1 Int
DBTLam1 Name DBTTerm1
DBTApp1 DBTTerm1 Int
DBTLet1 [(Name, DBTrim DBTTerm1)] (DBTrim DBTTerm1)

Instances

Instances details

Show DBTTerm1 #
Instance details Defined in LAM.Trim Methods showsPrec :: Int -> DBTTerm1 -> ShowS # show :: DBTTerm1 -> String # showList :: [DBTTerm1] -> ShowS #

annotate1 :: DBTerm -> DBTrim DBTTerm1 #

toDBTTerm1 :: DBTerm -> DBTTerm1 #

fromDBTTerm1 :: DBTTerm1 -> DBTerm #

trimLookup1 :: [Int] -> Int -> Maybe Int #

termFromDBTTerm1 :: DBTTerm1 -> Term #

termToDBTTerm1 :: Term -> DBTTerm1 #