UHC.Util.CHR.Key

Documentation

data TTKeyableOpts

Constructors

TTKeyableOpts

Fields

• ttkoptsVarsAsWild :: Bool

defaultTTKeyableOpts :: TTKeyableOpts

class TTKeyable x where

TreeTrie key construction

Methods

toTTKey' :: TTKeyableOpts -> x -> TreeTrieKey (TTKey x)

toTTKeyParentChildren' :: TTKeyableOpts -> x -> (TreeTrie1Key (TTKey x), [TreeTrieMpKey (TTKey x)])

Instances

TTKeyable (Rule c g () ()) => TTKeyable (StoredCHR c g)

Methods

toTTKey' :: TTKeyableOpts -> StoredCHR c g -> TreeTrieKey (TTKey (StoredCHR c g))

toTTKeyParentChildren' :: TTKeyableOpts -> StoredCHR c g -> (TreeTrie1Key (TTKey (StoredCHR c g)), [TreeTrieMpKey (TTKey (StoredCHR c g))])

TTKeyable cnstr => TTKeyable (Rule cnstr guard bprio prio)

Methods

toTTKey' :: TTKeyableOpts -> Rule cnstr guard bprio prio -> TreeTrieKey (TTKey (Rule cnstr guard bprio prio))

toTTKeyParentChildren' :: TTKeyableOpts -> Rule cnstr guard bprio prio -> (TreeTrie1Key (TTKey (Rule cnstr guard bprio prio)), [TreeTrieMpKey (TTKey (Rule cnstr guard bprio prio))])

type family TTKey x :: *

Instances

type TTKey [x]

type TTKey [x] = TTKey x

type TTKey (Maybe x)

type TTKey (Maybe x) = TTKey x

type TTKey (StoredCHR c g)

type TTKey (StoredCHR c g) = TTKey c

type TTKey (Rule cnstr guard bprio prio)

type TTKey (Rule cnstr guard bprio prio) = TTKey cnstr

type TTKey (StoredCHR c g bp p)

type TTKey (StoredCHR c g bp p) = TTKey c

toTTKey :: (TTKeyable x, TTKey x ~ TrTrKey x) => x -> TreeTrieKey (TTKey x)