Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Dummy types used in tests
Documentation
Tuple of three elements of the same type
@since WIP
Triplet a a a |
Instances
Arbitrary a => Arbitrary (Triplet a) Source # | @since WIP |
Show a => Show (Triplet a) Source # | |
Eq a => Eq (Triplet a) Source # | |
Ord a => Ord (Triplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
FromData a => FromData (Triplet a) Source # | |
Defined in Plutarch.Test.SpecTypes fromBuiltinData :: BuiltinData -> Maybe (Triplet a) | |
ToData a => ToData (Triplet a) Source # | |
Defined in Plutarch.Test.SpecTypes toBuiltinData :: Triplet a -> BuiltinData | |
UnsafeFromData a => UnsafeFromData (Triplet a) Source # | |
Defined in Plutarch.Test.SpecTypes unsafeFromBuiltinData :: BuiltinData -> Triplet a | |
Pretty a => Pretty (Triplet a) Source # | |
Defined in Plutarch.Test.SpecTypes pretty :: Triplet a -> Doc ann prettyList :: [Triplet a] -> Doc ann |
newtype PTriplet (a :: S -> Type) (s :: S) Source #
We can defined a data-type using PDataRecord, with labeled fields.
With an appropriate instance of PIsDataRepr
, we can automatically
derive PDataFields
.
@since WIP
PTriplet (Term s (PDataRecord '["x" ':= a, "y" ':= a, "z" ':= a])) |
Instances
PDataFields (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes type PFields (PTriplet a) :: [PLabeledType] | |
PEq (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
PIsData (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes pfromDataImpl :: forall (s :: S). Term s (PAsData (PTriplet a)) -> Term s (PTriplet a) pdataImpl :: forall (s :: S). Term s (PTriplet a) -> Term s PData | |
(ToData (AsHaskell a), FromData (AsHaskell a)) => PLiftable (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes toPlutarchRepr :: AsHaskell (PTriplet a) -> PlutusRepr (PTriplet a) toPlutarch :: forall (s :: S). AsHaskell (PTriplet a) -> PLifted s (PTriplet a) fromPlutarchRepr :: PlutusRepr (PTriplet a) -> Maybe (AsHaskell (PTriplet a)) fromPlutarch :: (forall (s :: S). PLifted s (PTriplet a)) -> Either LiftError (AsHaskell (PTriplet a)) | |
(POrd a, PIsData a) => POrd (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes (#<=) :: forall (s :: S). Term s (PTriplet a) -> Term s (PTriplet a) -> Term s PBool (#<) :: forall (s :: S). Term s (PTriplet a) -> Term s (PTriplet a) -> Term s PBool pmax :: forall (s :: S). Term s (PTriplet a) -> Term s (PTriplet a) -> Term s (PTriplet a) pmin :: forall (s :: S). Term s (PTriplet a) -> Term s (PTriplet a) -> Term s (PTriplet a) | |
DerivePlutusType (PTriplet a) Source # | @since WIP |
Defined in Plutarch.Test.SpecTypes type DPTStrat (PTriplet a) | |
PlutusType (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
Generic (PTriplet a s) Source # | |
type PFields (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
type AsHaskell (PTriplet a) Source # | @since WIP |
Defined in Plutarch.Test.SpecTypes | |
type PlutusRepr (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
type DPTStrat (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes type DPTStrat (PTriplet a) = PlutusTypeData | |
type PContravariant' (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
type PCovariant' (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
type PInner (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
type PVariant' (PTriplet a) Source # | |
Defined in Plutarch.Test.SpecTypes | |
type Rep (PTriplet a s) Source # | |
Defined in Plutarch.Test.SpecTypes type Rep (PTriplet a s) = D1 ('MetaData "PTriplet" "Plutarch.Test.SpecTypes" "plutarch-testlib-1.0.0-GrpAr4j2s353g5GL57Ema3" 'True) (C1 ('MetaCons "PTriplet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["x" ':= a, "y" ':= a, "z" ':= a]))))) |