Contents Index

Org.Org.Semantic.HBase.Mathematics.PhaseSet

Synopsis

data PhaseSet m = MkPhaseSet { pMember :: (FunctionSet m) transitions :: (StationSet m) } starts :: Ordered m => PhaseSet m -> StationSet m ends :: Ordered m => PhaseSet m -> StationSet m

Documentation

data PhaseSet m

always closed-open, that is, transition is a member iff it is a leading transition where Constructors MkPhaseSet pMember :: (FunctionSet m) transitions :: (StationSet m) Instances Ordered m => HasNothing (PhaseSet m) Ordered m => Intersectable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Intersectable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Intersectable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Unionable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Unionable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Unionable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Intersectable (StationSet m) (PhaseSet m) (StationSet m) Ordered m => Removable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Removable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Removable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Xorable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Xorable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => Xorable (PhaseSet m) (PhaseSet m) (PhaseSet m) Ordered m => SetConstructibleSet (PhaseSet m) Ordered m => MemberKnownSet m (PhaseSet m) Ordered m => UniversibleConstructibleSet (PhaseSet m)

starts :: Ordered m => PhaseSet m -> StationSet m

ends :: Ordered m => PhaseSet m -> StationSet m

Produced by Haddock version 0.6