Module

Data.Variant.Encodings.Nested

Package
purescript-variant-encodings
Repository
thought2/purescript-variant-encodings

#VariantEncodedNested Source

#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 -> Constraintclass IsVariantEncodedNested symTag symVal rowVarEnc rowVar | symTag symVal rowVar -> rowVarEnc where

Members

Instances