argo-0.2022.8.28: Parse and render JSON.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Argo.Internal.Class.HasCodec

Documentation

class Typeable a => HasCodec a where Source #

Methods

codec :: Value a Source #

Instances

Instances details
HasCodec Boolean Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Name Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Name Source #

HasCodec Null Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Null Source #

HasCodec Number Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec String Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Value Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Pointer Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Identifier Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Schema Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Decimal Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Int16 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Int32 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Int64 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Int8 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Int8 Source #

HasCodec Word16 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Word32 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Word64 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Word8 Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Text Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Text Source #

HasCodec String Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Integer Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Natural Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec () Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value () Source #

HasCodec Bool Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Bool Source #

HasCodec Char Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Char Source #

HasCodec Double Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Float Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

HasCodec Int Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Int Source #

HasCodec Word Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Word Source #

HasCodec a => HasCodec (Array a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Array a) Source #

HasCodec a => HasCodec (Object a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Object a) Source #

HasCodec a => HasCodec (Nullable a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Nullable a) Source #

HasCodec a => HasCodec (NonEmpty a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (NonEmpty a) Source #

HasCodec a => HasCodec (Maybe a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Maybe a) Source #

HasCodec a => HasCodec [a] Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value [a] Source #

(HasCodec a, HasCodec b) => HasCodec (Either a b) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Either a b) Source #

HasCodec a => HasCodec (Map Name a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Map Name a) Source #

HasCodec a => HasCodec (Map String a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Map String a) Source #

HasCodec a => HasCodec (Map Text a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Map Text a) Source #

HasCodec a => HasCodec (Map String a) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Map String a) Source #

(HasCodec a, HasCodec b) => HasCodec (a, b) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b) Source #

(HasCodec a, HasCodec b, HasCodec c) => HasCodec (a, b, c) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b, c) Source #

(HasCodec a, HasCodec b, HasCodec c, HasCodec d) => HasCodec (a, b, c, d) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b, c, d) Source #

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e) => HasCodec (a, b, c, d, e) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e) Source #

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e, HasCodec f) => HasCodec (a, b, c, d, e, f) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e, f) Source #

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e, HasCodec f, HasCodec g) => HasCodec (a, b, c, d, e, f, g) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e, f, g) Source #

(HasCodec a, HasCodec b, HasCodec c, HasCodec d, HasCodec e, HasCodec f, HasCodec g, HasCodec h) => HasCodec (a, b, c, d, e, f, g, h) Source # 
Instance details

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (a, b, c, d, e, f, g, h) Source #

valueCodec :: forall a. Typeable a => Schema -> (a -> Value) -> (Value -> Maybe a) -> Value a Source #

integralCodec :: forall a. (Bits a, Bounded a, Integral a, Typeable a) => Value a Source #