uhc-util-0.1.7.0: UHC utilities

Safe HaskellSafe
LanguageHaskell98

UHC.Util.CHR.Key

Synopsis

Documentation

class TTKeyable x where Source #

TreeTrie key construction

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