Safe Haskell	None
Language	GHC2021

Plutarch.Internal.Generic

Contents

Synopsis

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

Plutarch adapters for generics-sop API

class (forall (s :: S). PGeneric' a s) => PGeneric (a :: S -> Type) 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 :: (S -> Type) -> Constraint) (PCode a), All2 (Top :: Type -> Constraint) (GCode (a s)), GDatatypeInfo (a s)) => PGeneric' (a :: S -> Type) (s :: S) Source #

Instances details

(Generic (a s), GFrom (a s), GTo (a s), All2 (Top :: (S -> Type) -> 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 :: S -> Type) = ToPType2 (GCode (a (Any :: S))) Source #

Like Code but for Plutarch types

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

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