Module

Classless.DecodeJson.Generic

class DecodeRep :: Row Type -> Type -> Constraintclass DecodeRep sumSpec r | r -> sumSpec where

DecodeRep () NoConstructors
(DecodeRep specA a, DecodeRep specB b, TypeEquals a (Constructor sym x), Cons sym s specB spec, Cons sym s () specA, Lacks sym specB, IsSymbol sym, Union specA specB spec, Union specB specA spec) => DecodeRep spec (Sum a b)
(IsSymbol name, Cons name NoArgs () spec) => DecodeRep spec (Constructor name NoArguments)
(IsSymbol name, Cons name (Json -> Either JsonDecodeError a) () spec) => DecodeRep spec (Constructor name (Argument a))
(IsSymbol name, DecodeRepArgs specA a, Cons name specA () spec) => DecodeRep spec (Constructor name a)

class DecodeRepArgs spec r | r -> spec where

class Sum :: Row Type -> Type -> Constraintclass Sum spec a | a -> spec where