Safe Haskell	None
Language	Haskell2010

LAM.Exec.DBNoTrimPure

Contents

Orphan instances

Documentation

type HeapPointer (t :: Type -> Type) = RHeapPointer IORef DBTerm t #

type State (t :: Type -> Type) = RState IORef DBTerm t #

type Err = String #

mark2 :: forall (t :: Type -> Type). IsDBEnv t => State t -> IO (Either Err (State t)) #

isLAMGC :: forall (t :: Type -> Type). IsDBEnv t => IsLAM IO Err (State t) (Term, Trie (HeapPointer t)) #

isLAMG :: forall (t :: Type -> Type). IsDBEnv t => IsLAM IO Err (State t) Term #

isLAM :: IsLAM IO Err (State []) Term #

isLAMN :: IsLAM IO Err (State NamedList) Term #

isLAMSeq :: IsLAM IO Err (State Seq) Term #

isLAMVec :: IsLAM IO Err (State Vector) Term #

Orphan instances

IsNamedEnv Seq #
Instance details Methods eToList :: Seq a -> [(Name, a)] # eFromList :: [(Name, a)] -> Seq a # eLookup :: Name -> Seq a -> Maybe a # addToEnv :: Name -> a -> Seq a -> Seq a #
IsNamedEnv Vector #
Instance details Methods eToList :: Vector a -> [(Name, a)] # eFromList :: [(Name, a)] -> Vector a # eLookup :: Name -> Vector a -> Maybe a # addToEnv :: Name -> a -> Vector a -> Vector a #
CanTrim DBTerm Seq #
Instance details Methods trim :: Closure DBTerm Seq -> Closure DBTerm Seq #
CanTrim DBTerm Vector #
Instance details Methods trim :: Closure DBTerm Vector -> Closure DBTerm Vector #
CanTrim DBTerm [] #
Instance details Methods trim :: Closure DBTerm [] -> Closure DBTerm [] #
ToPureState (State NamedList) NamedList #
Instance details Methods toPureState :: State NamedList -> IO (PState NamedList) #
ToPureState (State NamedList) Trie #
Instance details Methods toPureState :: State NamedList -> IO (PState Trie) #
ToPureState (State Seq) NamedList #
Instance details Methods toPureState :: State Seq -> IO (PState NamedList) #
ToPureState (State Seq) Trie #
Instance details Methods toPureState :: State Seq -> IO (PState Trie) #
ToPureState (State Vector) NamedList #
Instance details Methods toPureState :: State Vector -> IO (PState NamedList) #
ToPureState (State Vector) Trie #
Instance details Methods toPureState :: State Vector -> IO (PState Trie) #
ToPureState (State []) NamedList #
Instance details Methods toPureState :: State [] -> IO (PState NamedList) #
ToPureState (State []) Trie #
Instance details Methods toPureState :: State [] -> IO (PState Trie) #