IntervalAlgebra.PairedInterval

Documentation

data PairedInterval b a

An Interval a paired with some other data of type b.

Instances

Bifunctor PairedInterval

Defined in IntervalAlgebra.PairedInterval

Methods

bimap :: (a -> b) -> (c -> d) -> PairedInterval a c -> PairedInterval b d

first :: (a -> b) -> PairedInterval a c -> PairedInterval b c

second :: (b -> c) -> PairedInterval a b -> PairedInterval a c

(Ord a, Show a, Eq b, Monoid b) => IntervalCombinable (PairedInterval b) a

Defined in IntervalAlgebra.PairedInterval

Methods

(.+.) :: PairedInterval b a -> PairedInterval b a -> Maybe (PairedInterval b a)

(><) :: PairedInterval b a -> PairedInterval b a -> Maybe (PairedInterval b a)

(<+>) :: (Semigroup (f (PairedInterval b a)), Applicative f) => PairedInterval b a -> PairedInterval b a -> f (PairedInterval b a)

(Eq b, Show a, Ord a) => IntervalAlgebraic (PairedInterval b) a

Defined in IntervalAlgebra.PairedInterval

Methods

relate :: PairedInterval b a -> PairedInterval b a -> IntervalRelation (PairedInterval b a)

predicate' :: IntervalRelation (PairedInterval b a) -> ComparativePredicateOf (PairedInterval b a)

predicates :: Set (IntervalRelation (PairedInterval b a)) -> [ComparativePredicateOf (PairedInterval b a)]

predicate :: Set (IntervalRelation (PairedInterval b a)) -> ComparativePredicateOf (PairedInterval b a)

toSet :: [IntervalRelation (PairedInterval b a)] -> Set (IntervalRelation (PairedInterval b a))

compose :: IntervalRelation (PairedInterval b a) -> IntervalRelation (PairedInterval b a) -> Set (IntervalRelation (PairedInterval b a))

complement :: Set (IntervalRelation (PairedInterval b a)) -> Set (IntervalRelation (PairedInterval b a))

intersection :: Set (IntervalRelation (PairedInterval b a)) -> Set (IntervalRelation (PairedInterval b a)) -> Set (IntervalRelation (PairedInterval b a))

union :: Set (IntervalRelation (PairedInterval b a)) -> Set (IntervalRelation (PairedInterval b a)) -> Set (IntervalRelation (PairedInterval b a))

converse :: Set (IntervalRelation (PairedInterval b a)) -> Set (IntervalRelation (PairedInterval b a))

equals :: ComparativePredicateOf (PairedInterval b a)

meets :: ComparativePredicateOf (PairedInterval b a)

metBy :: ComparativePredicateOf (PairedInterval b a)

before :: ComparativePredicateOf (PairedInterval b a)

after :: ComparativePredicateOf (PairedInterval b a)

overlaps :: ComparativePredicateOf (PairedInterval b a)

overlappedBy :: ComparativePredicateOf (PairedInterval b a)

starts :: ComparativePredicateOf (PairedInterval b a)

startedBy :: ComparativePredicateOf (PairedInterval b a)

precedes :: ComparativePredicateOf (PairedInterval b a)

precededBy :: ComparativePredicateOf (PairedInterval b a)

finishes :: ComparativePredicateOf (PairedInterval b a)

finishedBy :: ComparativePredicateOf (PairedInterval b a)

during :: ComparativePredicateOf (PairedInterval b a)

contains :: ComparativePredicateOf (PairedInterval b a)

unionPredicates :: [ComparativePredicateOf (PairedInterval b a)] -> ComparativePredicateOf (PairedInterval b a)

(<|>) :: ComparativePredicateOf (PairedInterval b a) -> ComparativePredicateOf (PairedInterval b a) -> ComparativePredicateOf (PairedInterval b a)

disjointRelations :: Set (IntervalRelation (PairedInterval b a))

withinRelations :: Set (IntervalRelation (PairedInterval b a))

disjoint :: ComparativePredicateOf (PairedInterval b a)

notDisjoint :: ComparativePredicateOf (PairedInterval b a)

concur :: ComparativePredicateOf (PairedInterval b a)

within :: ComparativePredicateOf (PairedInterval b a)

enclose :: ComparativePredicateOf (PairedInterval b a)

enclosedBy :: ComparativePredicateOf (PairedInterval b a)

(Ord a, Show a) => Intervallic (PairedInterval b) a

Defined in IntervalAlgebra.PairedInterval

Methods

getInterval :: PairedInterval b a -> Interval a

setInterval :: PairedInterval b a -> Interval a -> PairedInterval b a

begin :: PairedInterval b a -> a

end :: PairedInterval b a -> a

(Eq a, Eq b) => Eq (PairedInterval b a)

Defined in IntervalAlgebra.PairedInterval

Methods

(==) :: PairedInterval b a -> PairedInterval b a -> Bool

(/=) :: PairedInterval b a -> PairedInterval b a -> Bool

(Eq a, Eq b, Ord a, Show a) => Ord (PairedInterval b a)

Defines A total ordering on 'PairedInterval b a' based on the 'Interval a' part.

Defined in IntervalAlgebra.PairedInterval

Methods

compare :: PairedInterval b a -> PairedInterval b a -> Ordering

(<) :: PairedInterval b a -> PairedInterval b a -> Bool

(<=) :: PairedInterval b a -> PairedInterval b a -> Bool

(>) :: PairedInterval b a -> PairedInterval b a -> Bool

(>=) :: PairedInterval b a -> PairedInterval b a -> Bool

max :: PairedInterval b a -> PairedInterval b a -> PairedInterval b a

min :: PairedInterval b a -> PairedInterval b a -> PairedInterval b a

(Show b, Show a, Ord a) => Show (PairedInterval b a)

Defined in IntervalAlgebra.PairedInterval

Methods

showsPrec :: Int -> PairedInterval b a -> ShowS

show :: PairedInterval b a -> String

showList :: [PairedInterval b a] -> ShowS

data Empty

Empty is used to trivially lift an Interval a into a PairedInterval.

Instances

Eq Empty

Defined in IntervalAlgebra.PairedInterval

Methods

(==) :: Empty -> Empty -> Bool

(/=) :: Empty -> Empty -> Bool

Ord Empty

Defined in IntervalAlgebra.PairedInterval

Methods

compare :: Empty -> Empty -> Ordering

(<) :: Empty -> Empty -> Bool

(<=) :: Empty -> Empty -> Bool

(>) :: Empty -> Empty -> Bool

(>=) :: Empty -> Empty -> Bool

max :: Empty -> Empty -> Empty

min :: Empty -> Empty -> Empty

Show Empty

Defined in IntervalAlgebra.PairedInterval

Methods

showsPrec :: Int -> Empty -> ShowS

show :: Empty -> String

showList :: [Empty] -> ShowS

Semigroup Empty

Defined in IntervalAlgebra.PairedInterval

Methods

(<>) :: Empty -> Empty -> Empty

sconcat :: NonEmpty Empty -> Empty

stimes :: Integral b => b -> Empty -> Empty

Monoid Empty

Defined in IntervalAlgebra.PairedInterval

Methods

mempty :: Empty

mappend :: Empty -> Empty -> Empty

mconcat :: [Empty] -> Empty

mkPairedInterval :: b -> Interval a -> PairedInterval b a

Make a paired interval.

getPairData :: PairedInterval b a -> b

Gets the data (i.e. non-interval) part of a PairedInterval.

intervals :: (Ord a, Show a) => [PairedInterval b a] -> [Interval a]

Gets the intervals from a list of paired intervals.

equalPairData :: Eq b => ComparativePredicateOf (PairedInterval b a)

Tests for equality of the data in a PairedInterval.

toTrivialPair :: Interval a -> PairedInterval Empty a

Lifts an Interval a into a PairedInterval Empty a, where Empty is a trivial type that contains no data.

trivialize :: Functor f => f (Interval a) -> f (PairedInterval Empty a)

Lifts a Functor containing Interval a(s) into a Functor containing PairedInterval Empty a(s).