Data.Argonaut.Aeson.Helpers

class IsSingleConstructor :: forall k. k -> Constraintclass IsSingleConstructor r  where

Members

• isSingleConstructor :: Proxy r -> Boolean

Instances

• IsSingleConstructor NoConstructors
• IsSingleConstructor (Sum a b)
• IsSingleConstructor (Constructor name value)

class AreAllConstructorsNullary :: forall k. k -> Constraintclass AreAllConstructorsNullary r  where

Members

• areAllConstructorsNullary :: Proxy r -> Boolean

Instances

• AreAllConstructorsNullary NoConstructors
• (AreAllConstructorsNullary a, AreAllConstructorsNullary b) => AreAllConstructorsNullary (Sum a b)
• (AreAllConstructorsNullary value) => AreAllConstructorsNullary (Constructor name value)
• AreAllConstructorsNullary NoArguments
• AreAllConstructorsNullary (Argument a)
• AreAllConstructorsNullary (Product a b)

data Mode

Constructors

• Mode { _Mode_ConstructorIsSingle :: Boolean, _Mode_ConstructorsAreAllNullary :: Boolean }