Data.JSOP.Example

Documentation

data ABC

Constructors

ABC Text Int Int

Instances

Eq ABC

Defined in Data.JSOP.Example

Methods

(==) :: ABC -> ABC -> Bool

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

Show ABC

Defined in Data.JSOP.Example

Methods

showsPrec :: Int -> ABC -> ShowS

show :: ABC -> String

showList :: [ABC] -> ShowS

Generic ABC

Defined in Data.JSOP.Example

Associated Types

type Code ABC :: [[Type]]

Methods

from :: ABC -> Rep ABC

to :: Rep ABC -> ABC

HasDatatypeInfo ABC

Defined in Data.JSOP.Example

Associated Types

type DatatypeInfoOf ABC :: DatatypeInfo

Methods

datatypeInfo :: proxy ABC -> DatatypeInfo (Code ABC)

type Code ABC

Defined in Data.JSOP.Example

type Code ABC = (Text ': (Int ': (Int ': ([] :: [Type])))) ': ([] :: [[Type]])

type DatatypeInfoOf ABC

Defined in Data.JSOP.Example

type DatatypeInfoOf ABC = ADT "Data.JSOP.Example" "ABC" (Constructor "ABC" ': ([] :: [ConstructorInfo])) ((StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': (StrictnessInfo NoSourceUnpackedness NoSourceStrictness DecidedLazy ': ([] :: [StrictnessInfo])))) ': ([] :: [[StrictnessInfo]]))

cherryPickABC :: NP (JSOP Text) '[Text, Int, Int]

jsonWithABC :: Value

abc :: ABC

jsonABC :: Value