Safe Haskell	None
Language	Haskell2010

Ledger.Tx.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
fromPlutusInterval :: Enum a => Interval a -> ValidityInterval 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 invalidBefore :: !( Maybe a) Inclusive lower bound or negative infinity invalidHereafter :: !( Maybe a) Exclusive upper bound or positive infinity

Instances

Instances details

Functor ValidityInterval Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods fmap :: (a -> b) -> ValidityInterval a -> ValidityInterval b Source #
Eq a => Eq ( ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods (==) :: ValidityInterval a -> ValidityInterval a -> Bool Source # (/=) :: ValidityInterval a -> ValidityInterval a -> Bool Source #
Show a => Show ( ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods showsPrec :: Int -> ValidityInterval a -> ShowS Source # show :: ValidityInterval a -> String Source # showList :: [ ValidityInterval a] -> ShowS Source #
Generic ( ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Associated Types type Rep ( ValidityInterval a) :: Type -> Type Source # Methods from :: ValidityInterval a -> Rep ( ValidityInterval a) x Source # to :: Rep ( ValidityInterval a) x -> ValidityInterval a Source #
ToJSON a => ToJSON ( ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods toJSON :: ValidityInterval a -> Value Source # toEncoding :: ValidityInterval a -> Encoding Source # toJSONList :: [ ValidityInterval a] -> Value Source # toEncodingList :: [ ValidityInterval a] -> Encoding Source #
FromJSON a => FromJSON ( ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods parseJSON :: Value -> Parser ( ValidityInterval a) Source # parseJSONList :: Value -> Parser [ ValidityInterval a] Source #
type Rep ( ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval type Rep ( ValidityInterval a) = D1 (' MetaData "ValidityInterval" "Ledger.Tx.Constraints.ValidityInterval" "plutus-tx-constraints-1.2.0.0-5XBz5Nhh1is2GnetLpxiQv" ' False ) ( C1 (' MetaCons "ValidityInterval" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "invalidBefore") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Maybe a)) :*: S1 (' MetaSel (' Just "invalidHereafter") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Maybe a))))

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)

fromPlutusInterval :: Enum a => Interval a -> ValidityInterval a Source #

toPlutusInterval :: ValidityInterval a -> Interval a Source #