Module

Codec.Json.Newtypes

Package
purescript-json-codecs
Repository
jordanmartinez/purescript-json-codecs

#Optional Source

newtype Optional a

Used in type class-based codecs to indicate that a record field may or may not exist.

Constructors

Instances

#K0 Source

newtype K0 :: Symbol -> Type -> Typenewtype K0 sym a

Enables local overrides for types with kind Type

Constructors

Instances

#K1 Source

newtype K1 :: Symbol -> Type -> Typenewtype K1 sym a

Enables local overrides for types with kind Type -> Type

Constructors

Instances

#K2 Source

newtype K2 :: Symbol -> Type -> Typenewtype K2 sym a

Enables local overrides for types with kind Type -> Type -> Type

Constructors

Instances

#K3 Source

newtype K3 :: Symbol -> Type -> Typenewtype K3 sym a

Enables local overrides for types with kind Type -> Type -> Type -> Type

Constructors

Instances

#WithType Source

newtype WithType :: Symbol -> Type -> Typenewtype WithType sym a

Used in bidirectional class-based codecs to add hints to Variant codecs

Constructors

Instances

#WithCtor Source

newtype WithCtor :: Symbol -> Type -> Typenewtype WithCtor sym a

Used in bidirectional class-based codecs to add hints to Variant codecs

Constructors

Instances

#WithSubterm Source

newtype WithSubterm :: Int -> Type -> Typenewtype WithSubterm int a

Used in bidirectional class-based codecs to add hints to Variant codecs

Constructors

Instances

#WithField Source

newtype WithField :: Symbol -> Type -> Typenewtype WithField sym a

Used in bidirectional class-based codecs to add hints to Variant codecs

Constructors

Instances