ContentsIndex
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