Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Test.SpecTypes

Description

Dummy types used in tests

Synopsis

data Triplet a = Triplet a a a
data PTriplet (a :: S -> Type) (s :: S) = PTriplet {
- ptriplet'a :: Term s (PAsData a)
- ptriplet'b :: Term s (PAsData a)
- ptriplet'c :: Term s (PAsData a)
}

Documentation

data Triplet a Source #

Tuple of three elements of the same type

Since: 1.0.0

Constructors

Triplet a a a

Instances

Instances details

Arbitrary a => Arbitrary (Triplet a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Test.SpecTypes Methods arbitrary :: Gen (Triplet a) shrink :: Triplet a -> [Triplet a]
Show a => Show (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods showsPrec :: Int -> Triplet a -> ShowS Source # show :: Triplet a -> String Source # showList :: [Triplet a] -> ShowS Source #
Eq a => Eq (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods (==) :: Triplet a -> Triplet a -> Bool Source # (/=) :: Triplet a -> Triplet a -> Bool Source #
Ord a => Ord (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods compare :: Triplet a -> Triplet a -> Ordering Source # (<) :: Triplet a -> Triplet a -> Bool Source # (<=) :: Triplet a -> Triplet a -> Bool Source # (>) :: Triplet a -> Triplet a -> Bool Source # (>=) :: Triplet a -> Triplet a -> Bool Source # max :: Triplet a -> Triplet a -> Triplet a Source # min :: Triplet a -> Triplet a -> Triplet a Source #
FromData a => FromData (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods fromBuiltinData :: BuiltinData -> Maybe (Triplet a)
ToData a => ToData (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods toBuiltinData :: Triplet a -> BuiltinData
UnsafeFromData a => UnsafeFromData (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods unsafeFromBuiltinData :: BuiltinData -> Triplet a
Pretty a => Pretty (Triplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods pretty :: Triplet a -> Doc ann prettyList :: [Triplet a] -> Doc ann

data PTriplet (a :: S -> Type) (s :: S) Source #

We can defined a data-type using PDataRecord, with labeled fields.

Since: 1.0.0

Constructors

PTriplet
Fields ptriplet'a :: Term s (PAsData a) ptriplet'b :: Term s (PAsData a) ptriplet'c :: Term s (PAsData a)

Instances

Instances details

PEq (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods (#==) :: forall (s :: S). Term s (PTriplet a) -> Term s (PTriplet a) -> Term s PBool
PIsData (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Methods 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 #
Instance details Defined in Plutarch.Test.SpecTypes Associated Types type AsHaskell (PTriplet a) type PlutusRepr (PTriplet a) Methods haskToRepr :: AsHaskell (PTriplet a) -> PlutusRepr (PTriplet a) reprToHask :: PlutusRepr (PTriplet a) -> Either LiftError (AsHaskell (PTriplet a)) reprToPlut :: forall (s :: S). PlutusRepr (PTriplet a) -> PLifted s (PTriplet a) plutToRepr :: (forall (s :: S). PLifted s (PTriplet a)) -> Either LiftError (PlutusRepr (PTriplet a))
PlutusType (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes Associated Types type PInner (PTriplet a) :: PType type PCovariant' (PTriplet a) type PContravariant' (PTriplet a) type PVariant' (PTriplet a) Methods pcon' :: forall (s :: S). PTriplet a s -> Term s (PInner (PTriplet a)) pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PTriplet a)) -> (PTriplet a s -> Term s b) -> Term s b
Generic (PTriplet a s) Source #
Instance details Defined in Plutarch.Test.SpecTypes Associated Types type Rep (PTriplet a s) :: Type -> Type Source # Methods from :: PTriplet a s -> Rep (PTriplet a s) x Source # to :: Rep (PTriplet a s) x -> PTriplet a s Source #
Generic (PTriplet a s) Source #
Instance details Defined in Plutarch.Test.SpecTypes Associated Types type Code (PTriplet a s) :: [[Type]] Methods from :: PTriplet a s -> Rep (PTriplet a s) to :: Rep (PTriplet a s) -> PTriplet a s
type AsHaskell (PTriplet a) Source #	Since: 1.0.0
Instance details Defined in Plutarch.Test.SpecTypes type AsHaskell (PTriplet a) = AsHaskell (DeriveDataPLiftable (PTriplet a) (Triplet (AsHaskell a)))
type PlutusRepr (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes type PlutusRepr (PTriplet a) = PlutusRepr (DeriveDataPLiftable (PTriplet a) (Triplet (AsHaskell a)))
type PContravariant' (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes type PContravariant' (PTriplet a) = PContravariant' (DeriveAsDataStruct (PTriplet a))
type PCovariant' (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes type PCovariant' (PTriplet a) = PCovariant' (DeriveAsDataStruct (PTriplet a))
type PInner (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes type PInner (PTriplet a) = PInner (DeriveAsDataStruct (PTriplet a))
type PVariant' (PTriplet a) Source #
Instance details Defined in Plutarch.Test.SpecTypes type PVariant' (PTriplet a) = PVariant' (DeriveAsDataStruct (PTriplet a))
type Rep (PTriplet a s) Source #
Instance details Defined in Plutarch.Test.SpecTypes type Rep (PTriplet a s) = D1 ('MetaData "PTriplet" "Plutarch.Test.SpecTypes" "plutarch-testlib-1.0.0-fuAYjAg8ZoBBX6oal7xy2" 'False) (C1 ('MetaCons "PTriplet" 'PrefixI 'True) (S1 ('MetaSel ('Just "ptriplet'a") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a))) :: (S1 ('MetaSel ('Just "ptriplet'b") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a))) :: S1 ('MetaSel ('Just "ptriplet'c") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PAsData a))))))
type Code (PTriplet a s) Source #
Instance details Defined in Plutarch.Test.SpecTypes type Code (PTriplet a s) = GCode (PTriplet a s)