Twee.Index

Documentation

data Index a

Constructors

Index

Fields

• size :: !Int
• here :: [Entry a]
• fun :: !(Array (Index a))
• var :: !(Index a)

Singleton

Fields

• key :: !(TermListOf a)
• value :: !(Entry a)

Nil

Instances

Show a => Show (Index a)

Methods

showsPrec :: Int -> Index a -> ShowS

show :: Index a -> String

showList :: [Index a] -> ShowS

Default (Index a)

Methods

def :: Index a

data Entry a

Constructors

Entry

Fields

• e_key :: !(TermOf a)
• e_value :: a

Instances

Eq a => Eq (Entry a)

Methods

(==) :: Entry a -> Entry a -> Bool

(/=) :: Entry a -> Entry a -> Bool

Show a => Show (Entry a)

Methods

showsPrec :: Int -> Entry a -> ShowS

show :: Entry a -> String

showList :: [Entry a] -> ShowS

null :: Index a -> Bool

singleton :: Symbolic a => a -> Index a

insert :: Symbolic a => a -> Index a -> Index a

expand :: TermListOf a -> Entry a -> Index a

delete :: (Eq a, Symbolic a) => a -> Index a -> Index a

elem :: (Eq a, Symbolic a) => a -> Index a -> Bool

data Match a

Constructors

Match

Fields

• matchResult :: a
• matchSubst :: SubstOf a

newtype Frozen a

Constructors

Frozen

Fields

• matchesList_ :: TermListOf a -> [Match a]

matchesList :: TermListOf a -> Frozen a -> [Match a]

lookup :: Symbolic a => TermOf a -> Frozen a -> [a]

matches :: TermOf a -> Frozen a -> [Match a]

freeze :: Index a -> Frozen a

find :: TermListOf a -> Index a -> [Match a] -> [Match a]

elems :: Index a -> [a]

map :: ConstantOf a ~ ConstantOf b => (a -> b) -> Frozen a -> Frozen b

filter :: (a -> Bool) -> Frozen a -> Frozen a

union :: Frozen a -> Frozen a -> Frozen a