Safe Haskell	None
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 {
- pinterval'from :: Term s (PLowerBound a)
- pinterval'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)
punbounded :: 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 pinterval'from :: Term s (PLowerBound a) Since: 3.6.0 pinterval'to :: Term s (PUpperBound a) Since: 3.6.0

Instances

Instances details

PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PInterval a)) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PInterval a))
Instance details Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PInterval a)) = PTryFromExcess PData (PInner (PAsData (PInterval a)))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PInterval a)), Reduce (PTryFromExcess PData (PAsData (PInterval a)) s)) -> Term s r) -> Term s r

(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)	Since: plutarch-ledger-api-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)
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PInterval a) = PlutusRepr (DeriveDataPLiftable (PInterval a) (Interval (AsHaskell 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))

PValidateData a => PValidateData (PInterval a) Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType (PInterval a) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PInterval a)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PInterval a) = PInner (DeriveAsDataStruct (PInterval a))

Methods

pcon' :: forall (s :: S). PInterval a s -> Term s (PInner (PInterval a))

pmatch' :: forall (s :: S) (b :: S -> Type). 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)

Since: plutarch-ledger-api-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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "pinterval'from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PLowerBound a))) :*: S1 ('MetaSel ('Just "pinterval'to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PUpperBound a)))))

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)	Since: plutarch-ledger-api-2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PInterval a s) = GCode (PInterval a s)

Methods

from :: PInterval a s -> Rep (PInterval a s)

to :: Rep (PInterval a s) -> PInterval a s

type PTryFromExcess PData (PAsData (PInterval a)) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PInterval a)) = PTryFromExcess PData (PInner (PAsData (PInterval a)))

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 PInner (PInterval a) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PInterval a) = PInner (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.6.0-JzNzlZYfKM24p3vIfYHfrb" 'False) (C1 ('MetaCons "PInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "pinterval'from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PLowerBound a))) :*: S1 ('MetaSel ('Just "pinterval'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

PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PLowerBound a)) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PLowerBound a))
Instance details Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PLowerBound a)) = PTryFromExcess PData (PInner (PAsData (PLowerBound a)))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PLowerBound a)), Reduce (PTryFromExcess PData (PAsData (PLowerBound a)) s)) -> Term s r) -> Term s r

(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)
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PLowerBound a) = AsHaskell (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell a)))
type PlutusRepr (PLowerBound a)
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PLowerBound a) = PlutusRepr (DeriveDataPLiftable (PLowerBound a) (LowerBound (AsHaskell 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)

PValidateData a => PValidateData (PLowerBound a) Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType (PLowerBound a) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PLowerBound a)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PLowerBound a) = PInner (DeriveAsDataStruct (PLowerBound a))

Methods

pcon' :: forall (s :: S). PLowerBound a s -> Term s (PInner (PLowerBound a))

pmatch' :: forall (s :: S) (b :: S -> Type). 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)

Since: plutarch-ledger-api-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.6.0-JzNzlZYfKM24p3vIfYHfrb" '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)))))

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)	Since: plutarch-ledger-api-2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PLowerBound a s) = GCode (PLowerBound a s)

Methods

from :: PLowerBound a s -> Rep (PLowerBound a s)

to :: Rep (PLowerBound a s) -> PLowerBound a s

type PTryFromExcess PData (PAsData (PLowerBound a)) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PLowerBound a)) = PTryFromExcess PData (PInner (PAsData (PLowerBound a)))

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 PInner (PLowerBound a) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PLowerBound a) = PInner (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.6.0-JzNzlZYfKM24p3vIfYHfrb" '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

PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PUpperBound a)) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PUpperBound a))
Instance details Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PUpperBound a)) = PTryFromExcess PData (PInner (PAsData (PUpperBound a)))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PUpperBound a)), Reduce (PTryFromExcess PData (PAsData (PUpperBound a)) s)) -> Term s r) -> Term s r

(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)
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PUpperBound a) = AsHaskell (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell a)))
type PlutusRepr (PUpperBound a)
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PUpperBound a) = PlutusRepr (DeriveDataPLiftable (PUpperBound a) (UpperBound (AsHaskell 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)

PValidateData a => PValidateData (PUpperBound a) Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType (PUpperBound a) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PUpperBound a)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PUpperBound a) = PInner (DeriveAsDataStruct (PUpperBound a))

Methods

pcon' :: forall (s :: S). PUpperBound a s -> Term s (PInner (PUpperBound a))

pmatch' :: forall (s :: S) (b :: S -> Type). 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)

Since: plutarch-ledger-api-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.6.0-JzNzlZYfKM24p3vIfYHfrb" '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)))))

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)	Since: plutarch-ledger-api-2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PUpperBound a s) = GCode (PUpperBound a s)

Methods

from :: PUpperBound a s -> Rep (PUpperBound a s)

to :: Rep (PUpperBound a s) -> PUpperBound a s

type PTryFromExcess PData (PAsData (PUpperBound a)) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PUpperBound a)) = PTryFromExcess PData (PInner (PAsData (PUpperBound a)))

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 PInner (PUpperBound a) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PUpperBound a) = PInner (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.6.0-JzNzlZYfKM24p3vIfYHfrb" '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

PTryFrom PData (PAsData a) => PTryFrom PData (PAsData (PExtended a)) Source #

Since: 3.4.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PTryFromExcess PData (PAsData (PExtended a))
Instance details Defined in Plutarch.LedgerApi.Interval type PTryFromExcess PData (PAsData (PExtended a)) = PTryFromExcess PData (PInner (PAsData (PExtended a)))

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). Term s PData -> ((Term s (PAsData (PExtended a)), Reduce (PTryFromExcess PData (PAsData (PExtended a)) s)) -> Term s r) -> Term s r

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)
Instance details Defined in Plutarch.LedgerApi.Interval type AsHaskell (PExtended a) = AsHaskell (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell a)))
type PlutusRepr (PExtended a)
Instance details Defined in Plutarch.LedgerApi.Interval type PlutusRepr (PExtended a) = PlutusRepr (DeriveDataPLiftable (PExtended a) (Extended (AsHaskell 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)

PValidateData a => PValidateData (PExtended a) Source #

Since: 3.6.0

Instance details

Defined in Plutarch.LedgerApi.Interval

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r

PlutusType (PExtended a) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

Associated Types

type PInner (PExtended a)	Since: plutarch-ledger-api-3.3.0
Instance details Defined in Plutarch.LedgerApi.Interval type PInner (PExtended a) = PInner (DeriveAsDataStruct (PExtended a))

Methods

pcon' :: forall (s :: S). PExtended a s -> Term s (PInner (PExtended a))

pmatch' :: forall (s :: S) (b :: S -> Type). 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)

Since: plutarch-ledger-api-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.6.0-JzNzlZYfKM24p3vIfYHfrb" '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)))

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)	Since: plutarch-ledger-api-2.0.0
Instance details Defined in Plutarch.LedgerApi.Interval type Code (PExtended a s) = GCode (PExtended a s)

Methods

from :: PExtended a s -> Rep (PExtended a s)

to :: Rep (PExtended a s) -> PExtended a s

type PTryFromExcess PData (PAsData (PExtended a)) Source #

Instance details

Defined in Plutarch.LedgerApi.Interval

type PTryFromExcess PData (PAsData (PExtended a)) = PTryFromExcess PData (PInner (PAsData (PExtended a)))

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 PInner (PExtended a) Source #

Since: 3.3.0

Instance details

Defined in Plutarch.LedgerApi.Interval

type PInner (PExtended a) = PInner (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.6.0-JzNzlZYfKM24p3vIfYHfrb" '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

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

Create the unbounded interval (-infty, +infty).

Since: 3.6.0

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