Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type CostingInteger = SatInt
- newtype ExMemory = ExMemory CostingInteger
- newtype ExCPU = ExCPU CostingInteger
Documentation
type CostingInteger = SatInt Source #
Counts size in machine words.
Instances
FromJSON ExMemory Source # | |
ToJSON ExMemory Source # | |
Monoid ExMemory Source # | |
Semigroup ExMemory Source # | |
Bounded ExMemory Source # | |
Generic ExMemory Source # | |
Num ExMemory Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory | |
Read ExMemory Source # | |
Show ExMemory Source # | |
ToField ExMemory | |
NFData ExMemory Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory | |
Eq ExMemory Source # | |
Ord ExMemory Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory | |
NoThunks ExMemory Source # | |
Pretty ExMemory Source # | |
Serialise ExMemory Source # | |
PrettyBy config ExMemory Source # | |
Lift ExMemory Source # | |
type Rep ExMemory Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.36.0.0-inplace" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) |
Counts CPU units in picoseconds: maximum value for SatInt is 2^63 ps, or appproximately 106 days.
Instances
FromJSON ExCPU Source # | |
ToJSON ExCPU Source # | |
Monoid ExCPU Source # | |
Semigroup ExCPU Source # | |
Bounded ExCPU Source # | |
Generic ExCPU Source # | |
Num ExCPU Source # | |
Read ExCPU Source # | |
Show ExCPU Source # | |
ToField ExCPU | |
NFData ExCPU Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory | |
Eq ExCPU Source # | |
Ord ExCPU Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory | |
NoThunks ExCPU Source # | |
Pretty ExCPU Source # | |
Serialise ExCPU Source # | |
PrettyBy config ExCPU Source # | |
Lift ExCPU Source # | |
type Rep ExCPU Source # | |
Defined in PlutusCore.Evaluation.Machine.ExMemory type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.36.0.0-inplace" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger))) |