uhc-util-0.1.7.0: UHC utilities

Safe HaskellSafe
LanguageHaskell98

UHC.Util.CHR.Key

Synopsis

Documentation

data TTKeyableOpts Source #

Constructors

TTKeyableOpts 

Fields

defaultTTKeyableOpts :: TTKeyableOpts Source #

class TTKeyable x where Source #

TreeTrie key construction

Methods

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

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

Instances

TTKeyable (Rule c g () ()) => TTKeyable (StoredCHR c g) Source # 
TTKeyable cnstr => TTKeyable (Rule cnstr guard bprio prio) Source # 

Methods

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

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

type family TTKey x :: * Source #

Instances

type TTKey [x] Source # 
type TTKey [x] = TTKey x
type TTKey (Maybe x) Source # 
type TTKey (Maybe x) = TTKey x
type TTKey (StoredCHR c g) Source # 
type TTKey (StoredCHR c g) = TTKey c
type TTKey (Rule cnstr guard bprio prio) Source # 
type TTKey (Rule cnstr guard bprio prio) = TTKey cnstr

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