CSPM-Interpreter-0.2.0.0: An interpreter for CSPM Source code Contents Index

CSPM.Interpreter.ClosureSet Portability GHC-only Stability experimental Maintainer Fontaine@cs.uni-duesseldorf.de

Description

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

mkClosureSet :: PrefixTrie -> 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

singleEventToClosureSet :: Event -> ClosureSet Source

Produced by Haddock version 2.6.1