Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.Generic

Contents

Synopsis

class (forall s. PGeneric' a s) => PGeneric a
class (Generic (a s), GFrom (a s), GTo (a s), All2 Top (PCode a), All2 Top (GCode (a s)), GDatatypeInfo (a s)) => PGeneric' a s
type PCode a = ToPType2 (GCode (a Any))
gpfrom :: forall a s. PGeneric a => a s -> SOP (Term s) (PCode a)
gpto :: forall a s. PGeneric a => SOP (Term s) (PCode a) -> a s

Plutarch adapters for generics-sop API

class (forall s. PGeneric' a s) => PGeneric a Source #

Generic constraint extended to work with Plutarch types.

Instances details

(forall (s :: S). PGeneric' a s) => PGeneric a Source #
Instance details Defined in Plutarch.Internal.Generic

class (Generic (a s), GFrom (a s), GTo (a s), All2 Top (PCode a), All2 Top (GCode (a s)), GDatatypeInfo (a s)) => PGeneric' a s Source #

Instances details

(Generic (a s), GFrom (a s), GTo (a s), All2 (Top :: PType -> Constraint) (PCode a), All2 (Top :: Type -> Constraint) (GCode (a s)), GDatatypeInfo (a s)) => PGeneric' a s Source #
Instance details Defined in Plutarch.Internal.Generic

type PCode a = ToPType2 (GCode (a Any)) Source #

Like Code but for Plutarch types

gpfrom :: forall a s. PGeneric a => a s -> SOP (Term s) (PCode a) Source #

gpto :: forall a s. PGeneric a => SOP (Term s) (PCode a) -> a s Source #