LAM.Exec.DBTrimPure
Contents
type Environment (t :: Type -> Type) = REnvironment IORef DBTTerm0 t #
type State (t :: Type -> Type) = RState IORef DBTTerm0 t #
mkClosure :: IsDBEnv t => DBTrim DBTTerm0 -> Environment t -> Closure DBTTerm0 t #
mark3 :: forall (t :: Type -> Type). IsDBEnv t => State t -> IO (Either String (State t)) #
isLAMG :: forall (t :: Type -> Type). IsDBEnv t => IsLAM IO String (State t) Term #
isLAM :: IsLAM IO String (State []) Term #
isLAMN :: IsLAM IO String (State NamedList) Term #
Methods
trim :: Closure DBTTerm0 NamedList -> Closure DBTTerm0 NamedList #
trim :: Closure DBTTerm0 [] -> Closure DBTTerm0 [] #
toPureState :: State NamedList -> IO (PState NamedList) #
toPureState :: State NamedList -> IO (PState Trie) #
toPureState :: State [] -> IO (PState Trie) #
showsPrec :: Int -> Closure DBTTerm0 t -> ShowS #
show :: Closure DBTTerm0 t -> String #
showList :: [Closure DBTTerm0 t] -> ShowS #