Safe Haskell	None
Language	GHC2021

Plutarch.Test.SpecTypes

Description

Dummy types used in tests

Synopsis

data Triplet a = Triplet a a a
newtype PTriplet (a :: S -> Type) (s :: S) = PTriplet (Term s (PDataRecord '["x" ':= a, "y" ':= a, "z" ':= 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

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: 1.0.0

Constructors

PTriplet (Term s (PDataRecord '["x" ':= a, "y" ':= a, "z" ':= a]))

Instances

Instances details

PDataFields (PTriplet a) Source #

Instance details

Defined in Plutarch.Test.SpecTypes

Associated Types

type PFields (PTriplet a)
Instance details Defined in Plutarch.Test.SpecTypes type PFields (PTriplet a) = Helper (PInner (PTriplet a))

Methods

ptoFields :: forall (s :: S). Term s (PTriplet a) -> Term s (PDataRecord (PFields (PTriplet a)))

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)	Since: plutarch-testlib-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)
Instance details Defined in Plutarch.Test.SpecTypes type PlutusRepr (PTriplet a) = PlutusRepr (DeriveDataPLiftable (PTriplet a) (Triplet (AsHaskell 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))

(POrd a, PIsData a) => POrd (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

(#<) :: 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: 1.0.0

Instance details

Defined in Plutarch.Test.SpecTypes

Associated Types

type DPTStrat (PTriplet a)
Instance details Defined in Plutarch.Test.SpecTypes type DPTStrat (PTriplet a) = PlutusTypeData

PlutusType (PTriplet a) Source #

Instance details

Defined in Plutarch.Test.SpecTypes

Associated Types

type PInner (PTriplet a)
Instance details Defined in Plutarch.Test.SpecTypes type PInner (PTriplet a) = DerivedPInner (DPTStrat (PTriplet a)) (PTriplet a)

Methods

pcon' :: forall (s :: S). PTriplet a s -> Term s (PInner (PTriplet a))

pmatch' :: forall (s :: S) (b :: S -> Type). 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)
Instance details Defined in Plutarch.Test.SpecTypes type Rep (PTriplet a s) = D1 ('MetaData "PTriplet" "Plutarch.Test.SpecTypes" "plutarch-testlib-1.0.3-8LPOzxhYpdt6V7ATSti3SW" 'True) (C1 ('MetaCons "PTriplet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["x" ':= a, "y" ':= a, "z" ':= a])))))

Methods

from :: PTriplet a s -> Rep (PTriplet a s) x Source #

to :: Rep (PTriplet a s) x -> PTriplet a s Source #

type PFields (PTriplet a) Source #

Instance details

Defined in Plutarch.Test.SpecTypes

type PFields (PTriplet a) = Helper (PInner (PTriplet a))

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 DPTStrat (PTriplet a) Source #

Instance details

Defined in Plutarch.Test.SpecTypes

type DPTStrat (PTriplet a) = PlutusTypeData

type PInner (PTriplet a) Source #

Instance details

Defined in Plutarch.Test.SpecTypes

type PInner (PTriplet a) = DerivedPInner (DPTStrat (PTriplet a)) (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.3-8LPOzxhYpdt6V7ATSti3SW" 'True) (C1 ('MetaCons "PTriplet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s (PDataRecord '["x" ':= a, "y" ':= a, "z" ':= a])))))