Argo.Internal.Json.Name

Documentation

newtype Name

Constructors

Name String

Instances

HasCodec Name

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value Name

IsString Name

Defined in Argo.Internal.Json.Name

Methods

fromString :: String -> Name

Show Name

Defined in Argo.Internal.Json.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

NFData Name

Defined in Argo.Internal.Json.Name

Methods

rnf :: Name -> ()

Eq Name

Defined in Argo.Internal.Json.Name

Methods

(==) :: Name -> Name -> Bool

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

Ord Name

Defined in Argo.Internal.Json.Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Lift Name

Defined in Argo.Internal.Json.Name

Methods

lift :: Quote m => Name -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Name -> Code m Name

HasCodec a => HasCodec (Map Name a)

Defined in Argo.Internal.Class.HasCodec

Methods

codec :: Value (Map Name a)

fromString :: String -> Name

toString :: Name -> String

encode :: Name -> Encoder ()

decode :: Decoder Name