Moduleplutus-ledger-api-1.70.0.0
PlutusLedgerApi.V1.Data.Interval
- 5 types
- 27 values
- Packageplutus-ledger-api-1.70.0.0
- Exports38
- LicenceApache-2.0
pattern
pattern Interval :: (ToData a, UnsafeFromData a) => LowerBound a -> UpperBound a -> Interval aInstances16Lift, Show, Generic, NFData, Pretty, FromData, …
Lift DefaultUni (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Eq a, ToData a, UnsafeFromData a) => Eq (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Ord a, ToData a, UnsafeFromData a) => Ord (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalShow (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalGeneric (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalNFData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Pretty a, ToData a, UnsafeFromData a) => Pretty (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalFromData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalToData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalUnsafeFromData (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalHasBlueprintDefinition a => HasBlueprintDefinition (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Eq a, ToData a, UnsafeFromData a) => Eq (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Ord a, ToData a, UnsafeFromData a) => Ord (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalTypeable DefaultUni ExtendedDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Intervaltype Rep (Extended a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval"Extended"
"PlutusLedgerApi.V1.Data.Interval"
"plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH"
'True) (C1 ('MetaCons"Extended_6989586621679122064"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))type Unroll (Extended a) = Extended a ': Unrolled aDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval
Instances19Lift, Show, Generic, NFData, Pretty, FromData, …
Lift DefaultUni (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => Eq (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalShow (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalGeneric (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalNFData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Pretty a, ToData a, UnsafeFromData a) => Pretty (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalFromData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalToData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalUnsafeFromData (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalHasBlueprintDefinition a => HasBlueprintDefinition (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => Eq (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => BoundedJoinSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => BoundedMeetSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => JoinSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => MeetSemiLattice (Interval a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.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.Data.IntervalTypeable DefaultUni IntervalDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Intervaltype Rep (Interval a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval"Interval"
"PlutusLedgerApi.V1.Data.Interval"
"plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH"
'True) (C1 ('MetaCons"Interval_6989586621679156834"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))type Unroll (Interval a) = Nub (Interval a ': Unrolled (LowerBound a) ++ Unrolled (UpperBound a))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval
Instances17Lift, Show, Generic, NFData, Pretty, FromData, …
Lift DefaultUni (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Eq a, ToData a, UnsafeFromData a) => Eq (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => Ord (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalShow (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalGeneric (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalNFData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Pretty a, ToData a, UnsafeFromData a) => Pretty (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalFromData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalToData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalUnsafeFromData (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalHasBlueprintDefinition (Extended a) => HasBlueprintDefinition (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Eq a, ToData a, UnsafeFromData a) => Eq (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => Ord (LowerBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.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.Data.IntervalTypeable DefaultUni LowerBoundDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Intervaltype Rep (LowerBound a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval"LowerBound"
"PlutusLedgerApi.V1.Data.Interval"
"plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH"
'True) (C1 ('MetaCons"LowerBound_6989586621679154302"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))type Unroll (LowerBound a) = LowerBound a ': Unrolled Closure ++ Unrolled (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval
Instances17Lift, Show, Generic, NFData, Pretty, FromData, …
Lift DefaultUni (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Eq a, ToData a, UnsafeFromData a) => Eq (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => Ord (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalShow (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalGeneric (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalNFData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Pretty a, ToData a, UnsafeFromData a) => Pretty (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalFromData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalToData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalUnsafeFromData (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.IntervalHasBlueprintDefinition (Extended a) => HasBlueprintDefinition (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Eq a, ToData a, UnsafeFromData a) => Eq (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval(Enum a, Ord a, ToData a, UnsafeFromData a) => Ord (UpperBound a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.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.Data.IntervalTypeable DefaultUni UpperBoundDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Intervaltype Rep (UpperBound a) = D1 ('MetaDataDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval"UpperBound"
"PlutusLedgerApi.V1.Data.Interval"
"plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH"
'True) (C1 ('MetaCons"UpperBound_6989586621679146515"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))type Unroll (UpperBound a) = UpperBound a ': Unrolled Closure ++ Unrolled (Extended a)Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Interval