Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.LedgerApi.Interval

Contents

Types
Functions

Description

This module is meant to be imported qualified, as some of its identifiers clash with the Plutarch prelude, as well as other parts of the Plutarch API.

Synopsis

data PInterval (a :: S -> Type) (s :: S) = PInterval {
- pinteral'from :: Term s (PLowerBound a)
- pinteral'to :: Term s (PUpperBound a)
}
data PLowerBound (a :: S -> Type) (s :: S) = PLowerBound (Term s (PExtended a)) (Term s (PAsData PBool))
data PUpperBound (a :: S -> Type) (s :: S) = PUpperBound (Term s (PExtended a)) (Term s (PAsData PBool))
data PExtended (a :: S -> Type) (s :: S)
- = PNegInf
- | PFinite (Term s (PAsData a))
- | PPosInf
psingleton :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> PInterval a)
pfrom :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> PInterval a)
pto :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> PInterval a)
palways :: forall (a :: S -> Type) (s :: S). (FromData (AsHaskell a), ToData (AsHaskell a)) => Term s (PInterval a)
pinterval :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> (PAsData a :--> PInterval a))
pinclusiveLowerBound :: forall (a :: S -> Type) (s :: S). (PIsData a, PCountable a) => Term s (PLowerBound a :--> PExtended a)
pinclusiveUpperBound :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PUpperBound a :--> PExtended a)
pmember :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PAsData a :--> (PInterval a :--> PBool))
pcontains :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PInterval a :--> (PInterval a :--> PBool))
pbefore :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (a :--> (PInterval a :--> PBool))
pafter :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (a :--> (PInterval a :--> PBool))
pisEmpty :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PInterval a :--> PBool)
phull :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (PInterval a :--> (PInterval a :--> PInterval a))
pintersection :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (PInterval a :--> (PInterval a :--> PInterval a))

Types

data PInterval (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PInterval
Fields pinteral'from :: Term s (PLowerBound a) pinteral'to :: Term s (PUpperBound a)

Instances

Instances details

(PIsData a, PEnumerable a) => PEq (PInterval a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool
PIsData (PInterval a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PInterval a)) -> Term s (PInterval a) pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PInterval a) type PlutusRepr (PInterval a) Methods haskToRepr :: AsHaskell (PInterval a) -> PlutusRepr (PInterval a) reprToHask :: PlutusRepr (PInterval a) -> Either LiftError (AsHaskell (PInterval a)) reprToPlut :: forall (s :: S). PlutusRepr (PInterval a) -> PLifted s (PInterval a) plutToRepr :: (forall (s :: S). PLifted s (PInterval a)) -> Either LiftError (PlutusRepr (PInterval a))
PlutusType (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PInterval a) :: PType type PCovariant' (PInterval a) type PContravariant' (PInterval a) type PVariant' (PInterval a) Methods pcon' :: forall (s :: S). PInterval a s -> Term s (PInner (PInterval a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PInterval a)) -> (PInterval a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PInterval a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PInterval a) -> Term s PString
Generic (PInterval a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PInterval a s) :: Type -> Type Source # Methods from :: PInterval a s -> Rep (PInterval a s) x Source # to :: Rep (PInterval a s) x -> PInterval a s Source #
Generic (PInterval a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PInterval a s) :: [[Type]] Methods from :: PInterval a s -> Rep (PInterval a s) to :: Rep (PInterval a s) -> PInterval a s
type AsHaskell (PInterval a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PInterval a) = AsHaskell (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell a)))
type PlutusRepr (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PInterval a) = PlutusRepr (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell a)))
type PContravariant' (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PInterval a) = PContravariant' (DeriveAsDataStruct (PInterval a))
type PCovariant' (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PInterval a) = PCovariant' (DeriveAsDataStruct (PInterval a))
type PInner (PInterval a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PInterval a) = PInner (DeriveAsDataStruct (PInterval a))
type PVariant' (PInterval a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PInterval a) = PVariant' (DeriveAsDataStruct (PInterval a))
type Rep (PInterval a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "pinteral'from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PLowerBound a))) :*: S1 ('MetaSel ('Just "pinteral'to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PUpperBound a)))))
type Code (PInterval a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PInterval a s) = GCode (PInterval a s)

data PLowerBound (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PLowerBound (Term s (PExtended a)) (Term s (PAsData PBool))

Instances

Instances details

(PIsData a, PCountable a) => PEq (PLowerBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool
PIsData (PLowerBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PLowerBound a) type PlutusRepr (PLowerBound a) Methods haskToRepr :: AsHaskell (PLowerBound a) -> PlutusRepr (PLowerBound a) reprToHask :: PlutusRepr (PLowerBound a) -> Either LiftError (AsHaskell (PLowerBound a)) reprToPlut :: forall (s :: S). PlutusRepr (PLowerBound a) -> PLifted s (PLowerBound a) plutToRepr :: (forall (s :: S). PLifted s (PLowerBound a)) -> Either LiftError (PlutusRepr (PLowerBound a))
(PIsData a, PCountable a) => POrd (PLowerBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool pmax :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a) pmin :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s (PLowerBound a)
PlutusType (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PLowerBound a) :: PType type PCovariant' (PLowerBound a) type PContravariant' (PLowerBound a) type PVariant' (PLowerBound a) Methods pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PLowerBound a)) -> (PLowerBound a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PLowerBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString
Generic (PLowerBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PLowerBound a s) :: Type -> Type Source # Methods from :: PLowerBound a s -> Rep (PLowerBound a s) x Source # to :: Rep (PLowerBound a s) x -> PLowerBound a s Source #
Generic (PLowerBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PLowerBound a s) :: [[Type]] Methods from :: PLowerBound a s -> Rep (PLowerBound a s) to :: Rep (PLowerBound a s) -> PLowerBound a s
type AsHaskell (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) = AsHaskell (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type PlutusRepr (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PLowerBound a) = PlutusRepr (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type PContravariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PLowerBound a) = PContravariant' (DeriveAsDataStruct (PLowerBound a))
type PCovariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PLowerBound a) = PCovariant' (DeriveAsDataStruct (PLowerBound a))
type PInner (PLowerBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PLowerBound a) = PInner (DeriveAsDataStruct (PLowerBound a))
type PVariant' (PLowerBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PLowerBound a) = PVariant' (DeriveAsDataStruct (PLowerBound a))
type Rep (PLowerBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PExtended a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PBool)))))
type Code (PLowerBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PLowerBound a s) = GCode (PLowerBound a s)

data PUpperBound (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PUpperBound (Term s (PExtended a)) (Term s (PAsData PBool))

Instances

Instances details

(PIsData a, PEnumerable a) => PEq (PUpperBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool
PIsData (PUpperBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PUpperBound a) type PlutusRepr (PUpperBound a) Methods haskToRepr :: AsHaskell (PUpperBound a) -> PlutusRepr (PUpperBound a) reprToHask :: PlutusRepr (PUpperBound a) -> Either LiftError (AsHaskell (PUpperBound a)) reprToPlut :: forall (s :: S). PlutusRepr (PUpperBound a) -> PLifted s (PUpperBound a) plutToRepr :: (forall (s :: S). PLifted s (PUpperBound a)) -> Either LiftError (PlutusRepr (PUpperBound a))
(PIsData a, PEnumerable a) => POrd (PUpperBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool (#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool pmax :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a) pmin :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s (PUpperBound a)
PlutusType (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PUpperBound a) :: PType type PCovariant' (PUpperBound a) type PContravariant' (PUpperBound a) type PVariant' (PUpperBound a) Methods pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PUpperBound a)) -> (PUpperBound a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PUpperBound a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString
Generic (PUpperBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PUpperBound a s) :: Type -> Type Source # Methods from :: PUpperBound a s -> Rep (PUpperBound a s) x Source # to :: Rep (PUpperBound a s) x -> PUpperBound a s Source #
Generic (PUpperBound a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PUpperBound a s) :: [[Type]] Methods from :: PUpperBound a s -> Rep (PUpperBound a s) to :: Rep (PUpperBound a s) -> PUpperBound a s
type AsHaskell (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) = AsHaskell (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type PlutusRepr (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PUpperBound a) = PlutusRepr (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type PContravariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PUpperBound a) = PContravariant' (DeriveAsDataStruct (PUpperBound a))
type PCovariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PUpperBound a) = PCovariant' (DeriveAsDataStruct (PUpperBound a))
type PInner (PUpperBound a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PUpperBound a) = PInner (DeriveAsDataStruct (PUpperBound a))
type PVariant' (PUpperBound a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PUpperBound a) = PVariant' (DeriveAsDataStruct (PUpperBound a))
type Rep (PUpperBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PExtended a))) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData PBool)))))
type Code (PUpperBound a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PUpperBound a s) = GCode (PUpperBound a s)

data PExtended (a :: S -> Type) (s :: S) Source #

Since: 2.0.0

Constructors

PNegInf
PFinite (Term s (PAsData a))
PPosInf

Instances

Instances details

PEq (PExtended a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#==) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool
PIsData (PExtended a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData
(FromData (AsHaskell a), ToData (AsHaskell a)) => PLiftable (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type AsHaskell (PExtended a) type PlutusRepr (PExtended a) Methods haskToRepr :: AsHaskell (PExtended a) -> PlutusRepr (PExtended a) reprToHask :: PlutusRepr (PExtended a) -> Either LiftError (AsHaskell (PExtended a)) reprToPlut :: forall (s :: S). PlutusRepr (PExtended a) -> PLifted s (PExtended a) plutToRepr :: (forall (s :: S). PLifted s (PExtended a)) -> Either LiftError (PlutusRepr (PExtended a))
(POrd a, PIsData a) => POrd (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Methods (#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool (#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool pmax :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a) pmin :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s (PExtended a)
PlutusType (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type PInner (PExtended a) :: PType type PCovariant' (PExtended a) type PContravariant' (PExtended a) type PVariant' (PExtended a) Methods pcon' :: forall (s :: S). PExtended a s -> Term s (PInner (PExtended a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PExtended a)) -> (PExtended a s -> Term s b) -> Term s b
(PIsData a, PShow a) => PShow (PExtended a) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PExtended a) -> Term s PString
Generic (PExtended a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Rep (PExtended a s) :: Type -> Type Source # Methods from :: PExtended a s -> Rep (PExtended a s) x Source # to :: Rep (PExtended a s) x -> PExtended a s Source #
Generic (PExtended a s) Source #
Instance details Defined in Plutarch.LedgerApi.Interval Associated Types type Code (PExtended a s) :: [[Type]] Methods from :: PExtended a s -> Rep (PExtended a s) to :: Rep (PExtended a s) -> PExtended a s
type AsHaskell (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PExtended a) = AsHaskell (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type PlutusRepr (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PExtended a) = PlutusRepr (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type PContravariant' (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PContravariant' (PExtended a) = PContravariant' (DeriveAsDataStruct (PExtended a))
type PCovariant' (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PCovariant' (PExtended a) = PCovariant' (DeriveAsDataStruct (PExtended a))
type PInner (PExtended a) Source #	Since: 3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PExtended a) = PInner (DeriveAsDataStruct (PExtended a))
type PVariant' (PExtended a) Source #
Instance details Defined in Plutarch.LedgerApi.Interval type PVariant' (PExtended a) = PVariant' (DeriveAsDataStruct (PExtended a))
type Rep (PExtended a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.LedgerApi.Interval" "plutarch-ledger-api-3.3.0-9uebfPQOA90BujqVBUbxih" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a)))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (U1 :: Type -> Type)))
type Code (PExtended a s) Source #	Since: 2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PExtended a s) = GCode (PExtended a s)

Functions

Creation

psingleton :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> PInterval a) Source #

Given x, create the interval [x, x].

Since: 2.1.1

pfrom :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> PInterval a) Source #

Given x, create the interval [x, +infty)

Since: 2.1.1

pto :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> PInterval a) Source #

Given x, create the interval (-infty, x].

Since: 2.1.1

palways :: forall (a :: S -> Type) (s :: S). (FromData (AsHaskell a), ToData (AsHaskell a)) => Term s (PInterval a) Source #

Create the interval (-infty, +infty).

Since: 2.1.1

pinterval :: forall (a :: S -> Type) (s :: S). Term s (PAsData a :--> (PAsData a :--> PInterval a)) Source #

pinterval x y creates the interval [x, y].

Since: 2.1.1

pinclusiveLowerBound :: forall (a :: S -> Type) (s :: S). (PIsData a, PCountable a) => Term s (PLowerBound a :--> PExtended a) Source #

Turn a PLowerBound into a single inclusive bounding value.

Since: 3.3.0

pinclusiveUpperBound :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PUpperBound a :--> PExtended a) Source #

Turn a PUpperBound into a single inclusive bounding value.

Since: 3.3.0

Queries

pmember :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PAsData a :--> (PInterval a :--> PBool)) Source #

Check if a value is inside the given interval.

Since: 3.3.0

pcontains :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PInterval a :--> (PInterval a :--> PBool)) Source #

pcontains # i1 # i2 is true if i2 is entirely contained in i1: more specifically, if for any s, if pmember # s # i2, then pmember # s # i1.

Since: 3.3.0

pbefore :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (a :--> (PInterval a :--> PBool)) Source #

before x i is true if x is earlier than the start of i.

Since: 2.1.1

pafter :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (a :--> (PInterval a :--> PBool)) Source #

after x u is true if x is later than the end of i.

Since: 2.1.1

pisEmpty :: forall (a :: S -> Type) (s :: S). (PIsData a, PEnumerable a) => Term s (PInterval a :--> PBool) Source #

Check if a PInterval is empty.

Since: 3.3.0

Transformation

phull :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (PInterval a :--> (PInterval a :--> PInterval a)) Source #

phull i1 i2 gives the smallest interval that contains both i1 and i2.

Since: 2.1.1

pintersection :: forall (a :: S -> Type) (s :: S). (POrd a, PIsData a) => Term s (PInterval a :--> (PInterval a :--> PInterval a)) Source #

pintersection i1 i2 gives the largest interval that is contained in both i1 and i2.

Since: 2.1.1