Safe Haskell	Safe-Inferred
Language	GHC2021

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 # Methods toPlutarchRepr :: AsHaskell PUnit -> PlutusRepr PUnit Source # toPlutarch :: forall (s :: S). AsHaskell PUnit -> PLifted s PUnit Source # fromPlutarchRepr :: PlutusRepr PUnit -> Maybe (AsHaskell PUnit) Source # fromPlutarch :: (forall (s :: S). PLifted s PUnit) -> Either LiftError (AsHaskell PUnit) Source #
POrd PUnit Source #	@since WIP
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 :: PType Source # type PCovariant' PUnit Source # type PContravariant' PUnit Source # type PVariant' PUnit Source # 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 #
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 WIP
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 PContravariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PUnit = All2 PContravariant'' (PCode PUnit)
type PCovariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PUnit = All2 PCovariant'' (PCode PUnit)
type PInner PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner PUnit = PUnit
type PVariant' PUnit Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PUnit = All2 PVariant'' (PCode PUnit)

punit :: Term s PUnit Source #