Data.Registry.Aeson.Encoder

ENCODER DATA TYPE

newtype Encoder a

Constructors

Encoder

Fields

• encode :: a -> (Value, Encoding)

Instances

Contravariant Encoder

Defined in Data.Registry.Aeson.Encoder

Methods

contramap :: (a -> b) -> Encoder b -> Encoder a

(>$) :: b -> Encoder b -> Encoder a

ENCODE VALUES

encodeByteString :: Encoder a -> a -> ByteString

encodeValue :: Encoder a -> a -> Value

CREATE ENCODERS

fromValue :: (a -> Value) -> Encoder a

Create an Encoder from a function returning a Value

jsonEncoder :: forall a. (ToJSON a, Typeable a) => Typed (Encoder a)

Create an encoder from a Aeson instance

jsonEncoderOf :: ToJSON a => Encoder a

COMBINATORS

encodeMaybeOf :: forall a. Typeable a => Typed (Encoder a -> Encoder (Maybe a))

Create an Encoder for a (Maybe a)

maybeOfEncoder :: Encoder a -> Encoder (Maybe a)

encodePairOf :: forall a b. (Typeable a, Typeable b) => Typed (Encoder a -> Encoder b -> Encoder (a, b))

Create an Encoder for a pair (a, b)

pairOfEncoder :: Encoder a -> Encoder b -> Encoder (a, b)

encodeTripleOf :: forall a b c. (Typeable a, Typeable b, Typeable c) => Typed (Encoder a -> Encoder b -> Encoder c -> Encoder (a, b, c))

Create an Encoder for a tripe (a, b, c)

tripleOfEncoder :: Encoder a -> Encoder b -> Encoder c -> Encoder (a, b, c)

encodeListOf :: forall a. Typeable a => Typed (Encoder a -> Encoder [a])

Create an Encoder for a list [a]

listOfEncoder :: Encoder a -> Encoder [a]

encodeNonEmptyOf :: forall a. Typeable a => Typed (Encoder a -> Encoder (NonEmpty a))

Create an Encoder for a non-empty list (NonEmpty a)

nonEmptyOfEncoder :: Encoder a -> Encoder (NonEmpty a)

array :: [Value] -> Value

Shortcut function to create arrays

TEMPLATE HASKELL

makeEncoder :: Name -> ExpQ

Make an Encoder for a given data type Usage: $(makeEncoder ''MyDataType) <: otherEncoders

makeConstructorsEncoder :: [Con] -> ExpQ

makeMatchClause :: [Name] -> [Type] -> Con -> MatchQ

Make the match clause for a constructor given - the list of all the encoder types - the constructor name - the constructor index in the list of all the constructors for the encoded data type T1 a0 a1 ... -> makeEncoderFromConstructor o (FromConstructor names types cName fieldNames values)

data FromConstructor

Minimum set of data extracted from a given type with Template Haskell in order to create the appropriate encoder given an Options value

Constructors

FromConstructor

Fields

• fromConstructorNames :: [Text]

  names of all the constructors of the type

• fromConstructorTypes :: [Text]

  types of all the constructors of the type

• fromConstructorName :: Text

  name of the constructor for the value to encode

• fromConstructorFieldNames :: [Text]

  name of all the constructor fields

• fromConstructorValues :: [(Value, Encoding)]

  encoded values of all the constructor fields

Instances

Eq FromConstructor

Defined in Data.Registry.Aeson.Encoder

Methods

(==) :: FromConstructor -> FromConstructor -> Bool

(/=) :: FromConstructor -> FromConstructor -> Bool

Show FromConstructor

Defined in Data.Registry.Aeson.Encoder

Methods

showsPrec :: Int -> FromConstructor -> ShowS

show :: FromConstructor -> String

showList :: [FromConstructor] -> ShowS

modifyFromConstructorWithOptions :: Options -> FromConstructor -> FromConstructor

Apply Options to the constructor name + field names and remove Nothing values if necessary

makeEncoderFromConstructor :: Options -> FromConstructor -> (Value, Encoding)

Make an Encoder from Options and the representation of a constructor for a given value to encode

makeSumEncoding :: Options -> FromConstructor -> (Value, Encoding)

valuesToObject :: [Text] -> [(Value, Encoding)] -> (Value, Encoding)

Create an Object from a list of field names and a list of Values both as a Value and as an Encoding