Argo.Json.Name

Documentation

newtype Name

Constructors

Name String

Instances

Eq Name

Defined in Argo.Json.Name

Methods

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

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

Ord Name

Defined in Argo.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

Show Name

Defined in Argo.Json.Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

IsString Name

Defined in Argo.Json.Name

Methods

fromString :: String -> Name

Generic Name

Defined in Argo.Json.Name

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

NFData Name

Defined in Argo.Json.Name

Methods

rnf :: Name -> ()

Lift Name

Defined in Argo.Json.Name

Methods

lift :: Name -> Q Exp

liftTyped :: Name -> Q (TExp Name)

HasCodec a => HasCodec (Map Name a)

Defined in Argo.Class.HasCodec

Methods

codec :: ValueCodec (Map Name a)

type Rep Name

Defined in Argo.Json.Name

type Rep Name = D1 ('MetaData "Name" "Argo.Json.Name" "argo-0.2021.11.13-1TtZ14vgzh82izzBXuBqZ0" 'True) (C1 ('MetaCons "Name" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

fromString :: String -> Name

toString :: Name -> String

encode :: Name -> Encoder ()

decode :: Decoder Name