plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.Interval

Documentation

newtype PInterval a (s :: S) Source #

Constructors

PInterval (Term s (PDataRecord '["from" := PLowerBound a, "to" := PUpperBound a])) 

Instances

Instances details
PEq (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#==) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #

(POrd a, PIsData a) => POrd (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

(POrd a, PIsData a) => PPartialOrd (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#<=) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PInterval a) -> Term s (PInterval a) -> Term s PBool Source #

PIsData (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

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

pdataImpl :: forall (s :: S). Term s (PInterval a) -> Term s PData Source #

PDataFields (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PFields (PInterval a) :: [PLabeledType] Source #

Methods

ptoFields :: forall (s :: S). Term s (PInterval a) -> Term s (PDataRecord (PFields (PInterval a))) Source #

DerivePlutusType (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type DPTStrat (PInterval a) Source #

PlutusType (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PInner (PInterval a) :: PType Source #

type PCovariant' (PInterval a) Source #

type PContravariant' (PInterval a) Source #

type PVariant' (PInterval a) Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PInterval a)) -> (PInterval a s -> Term s b) -> Term s b Source #

PLiftData a => PUnsafeLiftDecl (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PLifted (PInterval a) = (r :: Type) Source #

(PIsData a, PShow a) => PShow (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PInterval a) -> Term s PString Source #

Generic (PInterval a s) Source # 
Instance details

Defined in Plutarch.Api.V1.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 #

type PFields (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PFields (PInterval a)
type DPTStrat (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type DPTStrat (PInterval a) = PlutusTypeData
type PContravariant' (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PContravariant' (PInterval a)
type PCovariant' (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PCovariant' (PInterval a)
type PInner (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PInner (PInterval a) = DerivedPInner (DPTStrat (PInterval a)) (PInterval a)
type PVariant' (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PVariant' (PInterval a)
type PLifted (PInterval a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PLifted (PInterval a) = Interval (PLifted a)
type Rep (PInterval a s) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type Rep (PInterval a s) = D1 ('MetaData "PInterval" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["from" := PLowerBound a, "to" := PUpperBound a])))))

newtype PLowerBound a (s :: S) Source #

Constructors

PLowerBound (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure])) 

Instances

Instances details
PEq (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#==) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #

(POrd a, PIsData a) => POrd (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

(POrd a, PIsData a) => PPartialOrd (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#<=) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PLowerBound a) -> Term s (PLowerBound a) -> Term s PBool Source #

PIsData (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PLowerBound a)) -> Term s (PLowerBound a) Source #

pdataImpl :: forall (s :: S). Term s (PLowerBound a) -> Term s PData Source #

PDataFields (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PFields (PLowerBound a) :: [PLabeledType] Source #

Methods

ptoFields :: forall (s :: S). Term s (PLowerBound a) -> Term s (PDataRecord (PFields (PLowerBound a))) Source #

DerivePlutusType (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type DPTStrat (PLowerBound a) Source #

PlutusType (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PInner (PLowerBound a) :: PType Source #

type PCovariant' (PLowerBound a) Source #

type PContravariant' (PLowerBound a) Source #

type PVariant' (PLowerBound a) Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PLowerBound a)) -> (PLowerBound a s -> Term s b) -> Term s b Source #

PLiftData a => PUnsafeLiftDecl (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PLifted (PLowerBound a) = (r :: Type) Source #

(PIsData a, PShow a) => PShow (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString Source #

Generic (PLowerBound a s) Source # 
Instance details

Defined in Plutarch.Api.V1.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 #

type PFields (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PFields (PLowerBound a)
type DPTStrat (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type DPTStrat (PLowerBound a) = PlutusTypeData
type PContravariant' (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PContravariant' (PLowerBound a)
type PCovariant' (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PCovariant' (PLowerBound a)
type PInner (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PInner (PLowerBound a) = DerivedPInner (DPTStrat (PLowerBound a)) (PLowerBound a)
type PVariant' (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PVariant' (PLowerBound a)
type PLifted (PLowerBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PLifted (PLowerBound a) = LowerBound (PLifted a)
type Rep (PLowerBound a s) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type Rep (PLowerBound a s) = D1 ('MetaData "PLowerBound" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PLowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure])))))

newtype PUpperBound a (s :: S) Source #

Constructors

PUpperBound (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure])) 

Instances

Instances details
PEq (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#==) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #

(POrd a, PIsData a) => POrd (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

(POrd a, PIsData a) => PPartialOrd (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#<=) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PUpperBound a) -> Term s (PUpperBound a) -> Term s PBool Source #

PIsData (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PUpperBound a)) -> Term s (PUpperBound a) Source #

pdataImpl :: forall (s :: S). Term s (PUpperBound a) -> Term s PData Source #

PDataFields (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PFields (PUpperBound a) :: [PLabeledType] Source #

Methods

ptoFields :: forall (s :: S). Term s (PUpperBound a) -> Term s (PDataRecord (PFields (PUpperBound a))) Source #

DerivePlutusType (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type DPTStrat (PUpperBound a) Source #

PlutusType (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PInner (PUpperBound a) :: PType Source #

type PCovariant' (PUpperBound a) Source #

type PContravariant' (PUpperBound a) Source #

type PVariant' (PUpperBound a) Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PUpperBound a)) -> (PUpperBound a s -> Term s b) -> Term s b Source #

PLiftData a => PUnsafeLiftDecl (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PLifted (PUpperBound a) = (r :: Type) Source #

(PIsData a, PShow a) => PShow (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString Source #

Generic (PUpperBound a s) Source # 
Instance details

Defined in Plutarch.Api.V1.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 #

type PFields (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PFields (PUpperBound a)
type DPTStrat (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type DPTStrat (PUpperBound a) = PlutusTypeData
type PContravariant' (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PContravariant' (PUpperBound a)
type PCovariant' (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PCovariant' (PUpperBound a)
type PInner (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PInner (PUpperBound a) = DerivedPInner (DPTStrat (PUpperBound a)) (PUpperBound a)
type PVariant' (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PVariant' (PUpperBound a)
type PLifted (PUpperBound a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PLifted (PUpperBound a) = UpperBound (PLifted a)
type Rep (PUpperBound a s) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type Rep (PUpperBound a s) = D1 ('MetaData "PUpperBound" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PUpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := PExtended a, "_1" := PClosure])))))

data PExtended a (s :: S) Source #

Constructors

PNegInf (Term s (PDataRecord '[])) 
PFinite (Term s (PDataRecord '["_0" := a])) 
PPosInf (Term s (PDataRecord '[])) 

Instances

Instances details
PEq (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#==) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #

(POrd a, PIsData a) => POrd (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

(POrd a, PIsData a) => PPartialOrd (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

(#<=) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #

(#<) :: forall (s :: S). Term s (PExtended a) -> Term s (PExtended a) -> Term s PBool Source #

PIsData (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData (PExtended a)) -> Term s (PExtended a) Source #

pdataImpl :: forall (s :: S). Term s (PExtended a) -> Term s PData Source #

DerivePlutusType (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type DPTStrat (PExtended a) Source #

PlutusType (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Associated Types

type PInner (PExtended a) :: PType Source #

type PCovariant' (PExtended a) Source #

type PContravariant' (PExtended a) Source #

type PVariant' (PExtended a) Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PExtended a)) -> (PExtended a s -> Term s b) -> Term s b Source #

(PIsData a, PShow a) => PShow (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

Methods

pshow' :: forall (s :: S). Bool -> Term s (PExtended a) -> Term s PString Source #

Generic (PExtended a s) Source # 
Instance details

Defined in Plutarch.Api.V1.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 #

type DPTStrat (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type DPTStrat (PExtended a) = PlutusTypeData
type PContravariant' (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PContravariant' (PExtended a)
type PCovariant' (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PCovariant' (PExtended a)
type PInner (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PInner (PExtended a) = DerivedPInner (DPTStrat (PExtended a)) (PExtended a)
type PVariant' (PExtended a) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type PVariant' (PExtended a)
type Rep (PExtended a s) Source # 
Instance details

Defined in Plutarch.Api.V1.Interval

type Rep (PExtended a s) = D1 ('MetaData "PExtended" "Plutarch.Api.V1.Interval" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'False) (C1 ('MetaCons "PNegInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType]))))) :+: (C1 ('MetaCons "PFinite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["_0" := a])))) :+: C1 ('MetaCons "PPosInf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord ('[] :: [PLabeledType])))))))

type PClosure = PBool Source #

Orphan instances