ContentsIndex
Org.Org.Semantic.HBase.Mathematics.StationSet
Synopsis
earlier :: Ordered a => Maybe a -> Maybe a -> Maybe a
later :: Ordered a => Maybe a -> Maybe a -> Maybe a
data StationSet m = MkStationSet {
sMember :: (m -> Bool)
firstStation :: ((m, m) -> Maybe m)
lastStation :: ((m, m) -> Maybe m)
}
filterStation :: Ordered m => (m -> Bool) -> StationSet m -> StationSet m
Documentation
earlier :: Ordered a => Maybe a -> Maybe a -> Maybe a
later :: Ordered a => Maybe a -> Maybe a -> Maybe a
data StationSet m
a station set is a set S such that for any interval i, n(i intersect S) is finite.
Constructors
MkStationSet
sMember :: (m -> Bool)
firstStation :: ((m, m) -> Maybe m)firstStation (n,f) is the first station strictly after n (if there is one before f)
lastStation :: ((m, m) -> Maybe m)lastStation (n,f) is the last station strictly before n (if there is one after f)
Instances
Ordered m => Intersectable (StationSet m) (PhaseSet m) (StationSet m)
Ordered m => Intersectable (StationSet m) (PhaseSet m) (StationSet m)
Ordered m => HasNothing (StationSet m)
Ordered m => Unionable (StationSet m) (StationSet m) (StationSet m)
Ordered m => Unionable (StationSet m) (StationSet m) (StationSet m)
Ordered m => Unionable (StationSet m) (StationSet m) (StationSet m)
(Ordered m, MemberKnownSet m sa) => Intersectable sa (StationSet m) (StationSet m)
(Ordered m, MemberKnownSet m sa) => Intersectable sa (StationSet m) (StationSet m)
(Ordered m, MemberKnownSet m sa) => Removable sa (StationSet m) (StationSet m)
(Ordered m, MemberKnownSet m sa) => Removable sa (StationSet m) (StationSet m)
Ordered m => Xorable (StationSet m) (StationSet m) (StationSet m)
Ordered m => Xorable (StationSet m) (StationSet m) (StationSet m)
Ordered m => Xorable (StationSet m) (StationSet m) (StationSet m)
Ordered m => SetConstructibleSet (StationSet m)
Ordered m => MemberKnownSet m (StationSet m)
Ordered m => MemberConstructibleSet m (StationSet m)
filterStation :: Ordered m => (m -> Bool) -> StationSet m -> StationSet m
Produced by Haddock version 0.6