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

Optional a

Instances

(Eq a) => Eq (Optional a)
(Ord a) => Ord (Optional a)
(Show a) => Show (Optional a)
Newtype (Optional a) _

#K0 Source

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

Enables local overrides for types with kind Type

Constructors

K0 a

Instances

(Eq a) => Eq (K0 sym a)
(Ord a) => Ord (K0 sym a)
(Show a) => Show (K0 sym a)
Newtype (K0 sym a) _

#K1 Source

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

Enables local overrides for types with kind Type -> Type

Constructors

K1 a

Instances

(Eq a) => Eq (K1 sym a)
(Ord a) => Ord (K1 sym a)
(Show a) => Show (K1 sym a)
Newtype (K1 sym a) _

#K2 Source

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

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

Constructors

K2 a

Instances

(Eq a) => Eq (K2 sym a)
(Ord a) => Ord (K2 sym a)
(Show a) => Show (K2 sym a)
Newtype (K2 sym a) _

#K3 Source

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

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

Constructors

K3 a

Instances

(Eq a) => Eq (K3 sym a)
(Ord a) => Ord (K3 sym a)
(Show a) => Show (K3 sym a)
Newtype (K3 sym a) _

#WithType Source

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

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

Constructors

WithType a

Instances

(Eq a) => Eq (WithType sym a)
(Ord a) => Ord (WithType sym a)
Newtype (WithType sym a) _

#WithCtor Source

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

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

Constructors

WithCtor a

Instances

(Eq a) => Eq (WithCtor sym a)
(Ord a) => Ord (WithCtor sym a)
Newtype (WithCtor sym a) _

#WithSubterm Source

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

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

Constructors

WithSubterm a

Instances

(Eq a) => Eq (WithSubterm int a)
(Ord a) => Ord (WithSubterm int a)
Newtype (WithSubterm int a) _

#WithField Source

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

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

Constructors

WithField a

Instances

(Eq a) => Eq (WithField sym a)
(Ord a) => Ord (WithField sym a)
Newtype (WithField sym a) _