Module
Data.Variant.Encodings.Nested
- Package
- purescript-variant-encodings
- Repository
- thought2/purescript-variant-encodings
#VariantEncodedNested Source
data VariantEncodedNested :: Symbol -> Symbol -> Row Type -> Type
data VariantEncodedNested t0 t1 t2
#normalizeEncodingNested' Source
normalizeEncodingNested' :: forall symTag symVal r. Proxy (VariantEncodedNested symTag symVal r) -> Proxy (Variant r)
#customizeEncodingNested' Source
customizeEncodingNested' :: forall symTag symVal r. Proxy (Variant r) -> Proxy (VariantEncodedNested symTag symVal r)
#IsVariantEncodedNested Source
class IsVariantEncodedNested :: Symbol -> Symbol -> Row Type -> Row Type -> Constraint
class IsVariantEncodedNested symTag symVal rowVarEnc rowVar | symTag symVal rowVar -> rowVarEnc where
Members
customizeEncodingNested :: Variant rowVar -> VariantEncodedNested symTag symVal rowVarEnc
normalizeEncodingNested :: VariantEncodedNested symTag symVal rowVarEnc -> Variant rowVar
Instances
(IsSymbol symTag, IsSymbol symVal) => IsVariantEncodedNested symTag symVal rowVarEnc rowVar