plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Api.V1.Time

Documentation

newtype PPOSIXTime (s :: S) Source #

Constructors

PPOSIXTime (Term s PInteger) 

Instances

Instances details
PEq PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Methods

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

POrd PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

PPartialOrd PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Methods

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

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

PIsData PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Methods

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

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

PIntegral PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Methods

pdiv :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source #

pmod :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source #

pquot :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source #

prem :: forall (s :: S). Term s (PPOSIXTime :--> (PPOSIXTime :--> PPOSIXTime)) Source #

DerivePlutusType PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Associated Types

type DPTStrat PPOSIXTime Source #

PlutusType PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Associated Types

type PInner PPOSIXTime :: PType Source #

type PCovariant' PPOSIXTime Source #

type PContravariant' PPOSIXTime Source #

type PVariant' PPOSIXTime Source #

Methods

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

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

PUnsafeLiftDecl PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Associated Types

type PLifted PPOSIXTime = (r :: Type) Source #

PNum PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Methods

(#+) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PPOSIXTime Source #

(#-) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PPOSIXTime Source #

(#*) :: forall (s :: S). Term s PPOSIXTime -> Term s PPOSIXTime -> Term s PPOSIXTime Source #

pnegate :: forall (s :: S). Term s (PPOSIXTime :--> PPOSIXTime) Source #

pabs :: forall (s :: S). Term s (PPOSIXTime :--> PPOSIXTime) Source #

psignum :: forall (s :: S). Term s (PPOSIXTime :--> PPOSIXTime) Source #

pfromInteger :: forall (s :: S). Integer -> Term s PPOSIXTime Source #

PShow PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Methods

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

PTryFrom PData (PAsData PPOSIXTime) Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Associated Types

type PTryFromExcess PData (PAsData PPOSIXTime) :: PType Source #

Methods

ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PPOSIXTime), Reduce (PTryFromExcess PData (PAsData PPOSIXTime) s)) -> Term s r) -> Term s r Source #

Generic (PPOSIXTime s) Source # 
Instance details

Defined in Plutarch.Api.V1.Time

Associated Types

type Rep (PPOSIXTime s) :: Type -> Type Source #

Methods

from :: PPOSIXTime s -> Rep (PPOSIXTime s) x Source #

to :: Rep (PPOSIXTime s) x -> PPOSIXTime s Source #

type DPTStrat PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

type DPTStrat PPOSIXTime = PlutusTypeNewtype
type PContravariant' PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

type PContravariant' PPOSIXTime
type PCovariant' PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

type PCovariant' PPOSIXTime
type PInner PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

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

Defined in Plutarch.Api.V1.Time

type PVariant' PPOSIXTime
type PLifted PPOSIXTime Source # 
Instance details

Defined in Plutarch.Api.V1.Time

type PLifted PPOSIXTime = POSIXTime
type PTryFromExcess PData (PAsData PPOSIXTime) Source # 
Instance details

Defined in Plutarch.Api.V1.Time

type PTryFromExcess PData (PAsData PPOSIXTime)
type Rep (PPOSIXTime s) Source # 
Instance details

Defined in Plutarch.Api.V1.Time

type Rep (PPOSIXTime s) = D1 ('MetaData "PPOSIXTime" "Plutarch.Api.V1.Time" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PPOSIXTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PInteger))))

type PPOSIXTimeRange = PInterval PPOSIXTime Source #

Orphan instances