Module

Data.Variant.Encodings.Nested

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

#VariantEncodedNested Source

data VariantEncodedNested :: Symbol -> Symbol -> Row Type -> Typedata 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 -> Constraintclass 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

Modules: Data.Variant.Encodings.Flat; Data.Variant.Encodings.Nested