Moduleplutus-ledger-api-1.70.0.0
PlutusLedgerApi.V1.Interval
Synopsis
- value after
- value always
- value before
- value contains
- value from
- value hull
- value inclusiveLowerBound
- value inclusiveUpperBound
- value intersection
- value interval
- value isEmpty
- value lowerBound
- value member
- value never
- value overlaps
- value singleton
- value strictLowerBound
- value strictUpperBound
- value to
- value upperBound
- type Closure
- data Extended
- data Interval
- data LowerBound
- data UpperBound
- Packageplutus-ledger-api-1.70.0.0
- Exports25
- LicenceApache-2.0
Instances18Functor, Lift, Show, Generic, NFData, Pretty, …
Functor ExtendedDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Typeable DefaultUni a, Lift DefaultUni a) => Lift DefaultUni (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalEq a => Eq (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalOrd a => Ord (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalShow a => Show (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalGeneric (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalNFData a => NFData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalPretty a => Pretty (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalFromData a => FromData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalToData a => ToData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalUnsafeFromData a => UnsafeFromData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalHasBlueprintDefinition a => HasBlueprintDefinition (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalEq a => Eq (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalOrd a => Ord (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes) => HasBlueprintSchema (Extended a) referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalTypeable DefaultUni ExtendedDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Intervaltype Rep (Extended a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval"Extended"
"PlutusLedgerApi.V1.Interval"
"plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo"
'False) (C1 ('MetaCons"NegInf"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"Finite"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons"PosInf"
'PrefixI 'False) U1))type Unroll (Extended a) = Extended a ': Unrolled aDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval
Constructors
IntervalivFrom :: LowerBound aivTo :: UpperBound a
Instances20Functor, Lift, Show, Generic, NFData, Pretty, …
Functor IntervalDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Typeable DefaultUni a, Lift DefaultUni (LowerBound a), Lift DefaultUni (UpperBound a)) => Lift DefaultUni (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => Eq (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalShow a => Show (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalGeneric (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalNFData a => NFData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalPretty a => Pretty (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalFromData a => FromData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalToData a => ToData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalUnsafeFromData a => UnsafeFromData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalHasBlueprintDefinition a => HasBlueprintDefinition (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => Eq (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => BoundedJoinSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => BoundedMeetSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => JoinSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => MeetSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(HasBlueprintDefinition a, HasSchemaDefinition (LowerBound a) referencedTypes, HasSchemaDefinition (UpperBound a) referencedTypes) => HasBlueprintSchema (Interval a) referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalTypeable DefaultUni IntervalDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Intervaltype Rep (Interval a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval"Interval"
"PlutusLedgerApi.V1.Interval"
"plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo"
'False) (C1 ('MetaCons"Interval"
'PrefixI 'True) (S1 ('MetaSel ('Just"ivFrom"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LowerBound a)) :*: S1 ('MetaSel ('Just"ivTo"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpperBound a))))type Unroll (Interval a) = Nub (Interval a ': Unrolled (LowerBound a) ++ Unrolled (UpperBound a))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval
Constructors
Instances18Functor, Lift, Show, Generic, NFData, Pretty, …
Functor LowerBoundDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Typeable DefaultUni a, Lift DefaultUni (Extended a)) => Lift DefaultUni (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Eq a) => Eq (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => Ord (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalShow a => Show (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalGeneric (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalNFData a => NFData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalPretty a => Pretty (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalFromData a => FromData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalToData a => ToData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalUnsafeFromData a => UnsafeFromData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalHasBlueprintDefinition (Extended a) => HasBlueprintDefinition (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Eq a) => Eq (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => Ord (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(HasSchemaDefinition a referencedTypes, HasBlueprintDefinition a, HasSchemaDefinition (Extended a) referencedTypes, HasSchemaDefinition Closure referencedTypes) => HasBlueprintSchema (LowerBound a) referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalTypeable DefaultUni LowerBoundDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Intervaltype Rep (LowerBound a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval"LowerBound"
"PlutusLedgerApi.V1.Interval"
"plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo"
'False) (C1 ('MetaCons"LowerBound"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Extended a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Closure)))type Unroll (LowerBound a) = LowerBound a ': Unrolled Closure ++ Unrolled (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval
Constructors
Instances18Functor, Lift, Show, Generic, NFData, Pretty, …
Functor UpperBoundDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Typeable DefaultUni a, Lift DefaultUni (Extended a)) => Lift DefaultUni (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Eq a) => Eq (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => Ord (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalShow a => Show (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalGeneric (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalNFData a => NFData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalPretty a => Pretty (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalFromData a => FromData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalToData a => ToData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalUnsafeFromData a => UnsafeFromData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalHasBlueprintDefinition (Extended a) => HasBlueprintDefinition (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Eq a) => Eq (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(Enum a, Ord a) => Ord (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval(HasSchemaDefinition a referencedTypes, HasBlueprintDefinition a, HasSchemaDefinition (Extended a) referencedTypes, HasSchemaDefinition Closure referencedTypes) => HasBlueprintSchema (UpperBound a) referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.IntervalTypeable DefaultUni UpperBoundDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Intervaltype Rep (UpperBound a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval"UpperBound"
"PlutusLedgerApi.V1.Interval"
"plutus-ledger-api-1.70.0.0-5wPGiL5tUsXGZcBy6AE4fo"
'False) (C1 ('MetaCons"UpperBound"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Extended a)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Closure)))type Unroll (UpperBound a) = UpperBound a ': Unrolled Closure ++ Unrolled (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Interval