| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ledger.Constraints.ValidityInterval
Synopsis
- data ValidityInterval a = ValidityInterval {
- invalidBefore :: !(Maybe a)
- invalidHereafter :: !(Maybe a)
- interval :: a -> a -> ValidityInterval a
- from :: a -> ValidityInterval a
- lessThan :: a -> ValidityInterval a
- fromLowerBound :: Enum a => LowerBound a -> Maybe a
- fromUpperBound :: Enum a => UpperBound a -> Maybe a
- fromPlutusInterval :: Enum a => Interval a -> ValidityInterval a
- toLowerBound :: Maybe a -> LowerBound a
- toUpperBound :: Maybe a -> UpperBound a
- toPlutusInterval :: ValidityInterval a -> Interval a
Documentation
data ValidityInterval a Source #
ValidityInterval is a half open interval. Closed (inclusive) on the bottom, open
(exclusive) on the top. A Nothing on the bottom is negative infinity, and a Nothing
on the top is positive infinity.
Constructors
| ValidityInterval | |
Fields
| |
Instances
interval :: a -> a -> ValidityInterval a Source #
interval a b includes all values that are greater than or equal to a
and smaller than b. In math. notation: [a,b)
from :: a -> ValidityInterval a Source #
from a is an ValidityInterval that includes all values that are
greater than or equal to a. In math. notation: [a,+∞]
lessThan :: a -> ValidityInterval a Source #
lessThan a is an ValidityInterval that includes all values that are
smaller than a. In math. notation: [-∞,a)
fromLowerBound :: Enum a => LowerBound a -> Maybe a Source #
fromUpperBound :: Enum a => UpperBound a -> Maybe a Source #
fromPlutusInterval :: Enum a => Interval a -> ValidityInterval a Source #
toLowerBound :: Maybe a -> LowerBound a Source #
toUpperBound :: Maybe a -> UpperBound a Source #
toPlutusInterval :: ValidityInterval a -> Interval a Source #