Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Repr.Internal

Synopsis

type family RecAsHaskell (x :: [S -> Type]) where ...
type family StructAsHaskell (x :: [[S -> Type]]) where ...
newtype PStruct (struct :: [[S -> Type]]) (s :: S) = PStruct {
- unPStruct :: SOP (Term s) struct
}
newtype PRec (struct :: [S -> Type]) (s :: S) = PRec {
- unPRec :: NP (Term s) struct
}
pletL :: All SListI as => SOP (Term s) as -> (SOP (Term s) as -> Term s r) -> Term s r
grecEq :: forall (s :: S) (struct :: [S -> Type]). All PEq struct => NP (Term s) struct -> NP (Term s) struct -> Term s PBool
gstructEq :: forall (s :: S) (struct :: [[S -> Type]]). All2 PEq struct => SOP (Term s) struct -> SOP (Term s) struct -> Term s PBool
groupHandlers :: forall (s :: S) (r :: S -> Type). [(Integer, Term s r)] -> Term s PInteger -> Term s r
class (Generic (a s), AllZipN @Type (Prod SOP) (LiftedCoercible I (Term s)) (Code (a s)) struct, AllZipN @Type (Prod SOP) (LiftedCoercible (Term s) I) struct (Code (a s))) => StructSameRepr s a struct
type family UnTermRec (struct :: [Type]) :: [S -> Type] where ...
type UnTermStruct x = UnTermStruct' (Code x)
type family UnTermStruct' (struct :: [[Type]]) :: [[S -> Type]] where ...
type RecTypePrettyError struct = RecTypePrettyError' struct ~ 'True

Documentation

type family RecAsHaskell (x :: [S -> Type]) where ... Source #

Equations

RecAsHaskell (x ': xs) = AsHaskell x ': RecAsHaskell xs
RecAsHaskell '[] = '[]

type family StructAsHaskell (x :: [[S -> Type]]) where ... Source #

Equations

StructAsHaskell (x ': xs) = RecAsHaskell x ': StructAsHaskell xs
StructAsHaskell '[] = '[]

newtype PStruct (struct :: [[S -> Type]]) (s :: S) Source #

Since: 1.10.0

Constructors

PStruct
Fields unPStruct :: SOP (Term s) struct Since: 1.10.0

newtype PRec (struct :: [S -> Type]) (s :: S) Source #

Since: 1.10.0

Constructors

PRec
Fields unPRec :: NP (Term s) struct Since: 1.10.0

pletL :: All SListI as => SOP (Term s) as -> (SOP (Term s) as -> Term s r) -> Term s r Source #

Since: 1.10.0

grecEq :: forall (s :: S) (struct :: [S -> Type]). All PEq struct => NP (Term s) struct -> NP (Term s) struct -> Term s PBool Source #

Since: 1.10.0

gstructEq :: forall (s :: S) (struct :: [[S -> Type]]). All2 PEq struct => SOP (Term s) struct -> SOP (Term s) struct -> Term s PBool Source #

Since: 1.10.0

groupHandlers :: forall (s :: S) (r :: S -> Type). [(Integer, Term s r)] -> Term s PInteger -> Term s r Source #

This function handles optimization of function that require multiple handlers by checking hashes of each | handler item and merging them in a way it will minimize size and cost of all computation

Since: 1.10.0

class (Generic (a s), AllZipN @Type (Prod SOP) (LiftedCoercible I (Term s)) (Code (a s)) struct, AllZipN @Type (Prod SOP) (LiftedCoercible (Term s) I) struct (Code (a s))) => StructSameRepr s a struct Source #

Since: 1.10.0

Instances

Instances details

(Generic (a s), AllZipN (Prod (SOP :: (Type -> Type) -> [[Type]] -> Type)) (LiftedCoercible I (Term s)) (Code (a s)) struct, AllZipN (Prod (SOP :: (Type -> Type) -> [[Type]] -> Type)) (LiftedCoercible (Term s) I) struct (Code (a s))) => StructSameRepr s a (struct :: l1) Source #
Instance details Defined in Plutarch.Repr.Internal

type family UnTermRec (struct :: [Type]) :: [S -> Type] where ... Source #

Since: 1.10.0

Equations

UnTermRec '[] = '[]
UnTermRec (Term _ a ': rest) = a ': UnTermRec rest

type UnTermStruct x = UnTermStruct' (Code x) Source #

Since: 1.10.0

type family UnTermStruct' (struct :: [[Type]]) :: [[S -> Type]] where ... Source #

Equations

UnTermStruct' '[] = '[]
UnTermStruct' (x ': rest) = UnTermRec x ': UnTermStruct' rest

type RecTypePrettyError struct = RecTypePrettyError' struct ~ 'True Source #

Since: 1.10.0