Lang.Hask.Execution

Documentation

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

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

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