uhc-util-0.1.6.6: UHC utilities

Safe HaskellNone
LanguageHaskell98

UHC.Util.CHR.Key

Synopsis

Documentation

data TTKeyableOpts Source

Constructors

TTKeyableOpts 

Fields

ttkoptsVarsAsWild :: Bool
 

defaultTTKeyableOpts :: TTKeyableOpts Source

class TTKeyable x where Source

TreeTrie key construction

Minimal complete definition

Nothing

Methods

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

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

Instances

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

type family TTKey x :: * Source

Instances

type TTKey [x] = TTKey x Source 
type TTKey (Maybe x) = TTKey x Source 
type TTKey (Rule cnstr guard bprio prio) = TTKey cnstr Source 

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