maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.

Safe HaskellNone
LanguageHaskell2010

Lang.Hask.Execution

Documentation

class (PartialOrder (ς Call), JoinLattice (ς Call), Difference (ς Call), Inject ς', MonadStep ς' m, Isomorphism (ς' Call) (ς Call)) => Execution ς ς' m | m -> ς, m -> ς' Source

Instances

(TimeC lτ dτ, Ord (ν lτ dτ)) => Execution (PSΣ𝒫 ν lτ dτ) (PSΣ ν lτ dτ) (PS ν lτ dτ) 

exec :: forall ς ς' ν lτ dτ m. (Analysis ν lτ dτ m, Execution ς ς' m) => P m -> Call -> ς Call Source

execDiffs :: forall ς ς' ν lτ dτ m. (Analysis ν lτ dτ m, Execution ς ς' m) => P m -> Call -> [ς Call] Source