| Safe Haskell | Safe-Infered |
|---|
Frenetic.NetCore.Semantics
Description
Composes NetCore policies and predicates, and defines how these policies interpret abstract packets.
- interpretPredicate :: FreneticImpl a => Predicate -> Transmission (PatternImpl a) (PacketImpl a) -> Bool
- interpretPolicy :: FreneticImpl a => Policy -> Transmission (PatternImpl a) (PacketImpl a) -> Action
Documentation
interpretPredicate :: FreneticImpl a => Predicate -> Transmission (PatternImpl a) (PacketImpl a) -> BoolSource
Implements the denotation function for predicates.
interpretPolicy :: FreneticImpl a => Policy -> Transmission (PatternImpl a) (PacketImpl a) -> ActionSource
Implements the denotation function for policies.