plutarch
Safe HaskellNone
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

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PUnit = AsHaskell (DeriveBuiltinPLiftable PUnit ())
type PlutusRepr PUnit 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PUnit = PlutusRepr (DeriveBuiltinPLiftable PUnit ())

Methods

haskToRepr :: AsHaskell PUnit -> PlutusRepr PUnit Source #

reprToHask :: PlutusRepr PUnit -> Either LiftError (AsHaskell PUnit) Source #

reprToPlut :: forall (s :: S). PlutusRepr PUnit -> PLifted s PUnit Source #

plutToRepr :: (forall (s :: S). PLifted s PUnit) -> Either LiftError (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

Associated Types

type PInner PUnit 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PUnit = PUnit

Methods

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

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

Methods

mempty :: Term s PUnit Source #

mappend :: Term s PUnit -> Term s PUnit -> Term s PUnit Source #

mconcat :: [Term s PUnit] -> Term s PUnit Source #

Semigroup (Term s PUnit) Source # 
Instance details

Defined in Plutarch.Builtin.Unit

Methods

(<>) :: Term s PUnit -> Term s PUnit -> Term s PUnit Source #

sconcat :: NonEmpty (Term s PUnit) -> Term s PUnit Source #

stimes :: Integral b => b -> Term s PUnit -> Term s PUnit Source #

type AsHaskell PUnit Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PUnit = AsHaskell (DeriveBuiltinPLiftable PUnit ())
type PlutusRepr PUnit Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PUnit = PlutusRepr (DeriveBuiltinPLiftable PUnit ())
type PInner PUnit Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PUnit = PUnit

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