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