RSolve.Infr

Documentation

type Addr = Int

class Eq a => Reference a where

Methods

isRef :: a -> Maybe Addr

mkRef :: Addr -> a

Instances

Reference Core

Defined in RSolve.HM.Core

Methods

isRef :: Core -> Maybe Addr

mkRef :: Addr -> Core

Reference Term

Defined in RSolve.Options.Core

Methods

isRef :: Term -> Maybe Addr

mkRef :: Addr -> Term

class Reference a => Unify a where

Minimal complete definition

prune, unify

Methods

prune :: a -> Br (LState a) a

unify :: a -> a -> Br (LState a) ()

complement :: a -> a -> Br (LState a) ()

Instances

Unify Core

Defined in RSolve.HM.Core

Methods

prune :: Core -> Br (LState Core) Core

unify :: Core -> Core -> Br (LState Core) ()

complement :: Core -> Core -> Br (LState Core) ()

Unify Term

Defined in RSolve.Options.Core

Methods

prune :: Term -> Br (LState Term) Term

unify :: Term -> Term -> Br (LState Term) ()

complement :: Term -> Term -> Br (LState Term) ()

class EnumSet a where

Methods

toEnumerable :: Br (LState a) ()

Instances

EnumSet Term

Defined in RSolve.Options.Core

Methods

toEnumerable :: Br (LState Term) ()

data Allocator a

Constructors

Allocator

Fields

• storage :: Map Addr a
• addr :: Addr

Instances

Show a => Show (Allocator a)

Defined in RSolve.Infr

Methods

showsPrec :: Int -> Allocator a -> ShowS

show :: Allocator a -> String

showList :: [Allocator a] -> ShowS

data LState a

Constructors

LState

Fields

• allocator :: Allocator a
• negPairs :: [(a, a)]
• constrains :: [Br (LState a) Bool]

allocator' :: Allocator a -> LState a -> LState a

negPairs' :: [(a, a)] -> LState a -> LState a

constrains' :: [Br (LState a) Bool] -> LState a -> LState a

inc :: Reference a => Allocator a -> (Addr, Allocator a)

alloc :: Reference a => a -> Allocator a -> (Addr, Allocator a)

renew :: Reference a => Addr -> a -> Allocator a -> Allocator a

store :: (Reference a, Eq a) => a -> Br (LState a) a

update :: Reference a => Addr -> a -> Br (LState a) ()

load :: Addr -> Br (LState a) a

tryLoad :: Addr -> Br (LState a) (Maybe a)

new :: Reference a => Br (LState a) Addr

negUnify :: Reference a => a -> a -> Br (LState a) ()

emptyAllocator :: Allocator a

emptyLState :: LState a