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
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 #
FromJSON a => FromJSON (ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods parseJSON :: Value -> Parser (ValidityInterval a) parseJSONList :: Value -> Parser [ValidityInterval a]
ToJSON a => ToJSON (ValidityInterval a) Source #
Instance details Defined in Ledger.Tx.Constraints.ValidityInterval Methods toJSON :: ValidityInterval a -> Value toEncoding :: ValidityInterval a -> Encoding toJSONList :: [ValidityInterval a] -> Value toEncodingList :: [ValidityInterval a] -> Encoding
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-9U3hMxZSaNH217R0XsdS0A" '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 #