plutarch-1.10.1
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Builtin.Unit

Documentation

data PUnit (s :: S) Source #

Constructors

PUnit 

Instances

Instances details
PEq PUnit Source # 
Instance details

Defined in Plutarch.Internal.Eq

Methods

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

PIsData PUnit Source # 
Instance details

Defined in Plutarch.Internal.IsData

Methods

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

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

PLiftable PUnit Source # 
Instance details

Defined in Plutarch.Internal.Lift

Associated Types

type AsHaskell PUnit Source #

type PlutusRepr PUnit Source #

POrd PUnit Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Ord

Methods

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

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

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

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

PlutusType PUnit Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Methods

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

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

PMonoid PUnit Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

pmempty :: forall (s :: S). Term s PUnit Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s PUnit -> Term s PUnit Source #

PSemigroup PUnit Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

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

pstimes :: forall (s :: S). Term s PPositive -> Term s PUnit -> Term s PUnit Source #

PShow PUnit Source # 
Instance details

Defined in Plutarch.Internal.Show

Methods

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

Monoid (Term s PUnit) Source # 
Instance details

Defined in Plutarch.Builtin.Unit

Semigroup (Term s PUnit) Source # 
Instance details

Defined in Plutarch.Builtin.Unit

type AsHaskell PUnit Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PUnit Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PContravariant' PUnit Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PUnit Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PUnit Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PUnit Source # 
Instance details

Defined in Plutarch.Internal.PlutusType