Copyright | (c) Fontaine 2009 |
---|---|
License | BSD |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Utility functions dealing with closure sets.
Documentation
memberPrefixTrie :: [Field] -> PrefixTrie -> Bool Source
prefixTrieNext :: PrefixTrie -> Field -> Maybe PrefixTrie Source
closureStateNext :: ClosureState -> Field -> ClosureState Source
setToClosure :: Set Value -> ClosureSet Source
setToPrefixTrie :: Set Value -> PrefixTrie Source
closureToSet :: ClosureSet -> Set Value Source
hackValueToEvent :: Value -> Event Source
prefixTrieToSet :: PrefixTrie -> Set Value Source
mkEventClosure :: [Value] -> EM ClosureSet Source
valueToPT :: Value -> PrefixTrie Source
fieldsToPT :: [Value] -> [FieldSet] -> PrefixTrie Source
ptUnions :: [PrefixTrie] -> PrefixTrie Source