Types

Haskell types used for testing `elm-street` generated Elm types.

Documentation

type Types = '[Prims, MyUnit, MyResult, Id (), Age, Newtype, NewtypeList, OneConstructor, RequestStatus, User, Guest, UserRequest, OneType, CustomCodeGen]

Type level list of all test types.

data OneType

All test types together in one type to play with.

Constructors

OneType

Fields

• oneTypePrims :: !Prims
• oneTypeMyUnit :: !MyUnit
• oneTypeMyResult :: !MyResult
• oneTypeId :: !(Id OneType)
• oneTypeAge :: !Age
• oneTypeNewtype :: !Newtype
• oneTypeNewtypeList :: !NewtypeList
• oneTypeOneConstructor :: !OneConstructor
• oneTypeRequestStatus :: !RequestStatus
• oneTypeUser :: !User
• oneTypeGuests :: ![Guest]
• oneTypeUserRequest :: !UserRequest
• oneTypeNonEmpty :: !(NonEmpty MyUnit)

Instances

FromJSON OneType

Defined in Types

Methods

parseJSON :: Value -> Parser OneType

parseJSONList :: Value -> Parser [OneType]

ToJSON OneType

Defined in Types

Methods

toJSON :: OneType -> Value

toEncoding :: OneType -> Encoding

toJSONList :: [OneType] -> Value

toEncodingList :: [OneType] -> Encoding

Generic OneType

Defined in Types

Associated Types

type Rep OneType :: Type -> Type

Methods

from :: OneType -> Rep OneType x

to :: Rep OneType x -> OneType

Show OneType

Defined in Types

Methods

showsPrec :: Int -> OneType -> ShowS

show :: OneType -> String

showList :: [OneType] -> ShowS

Elm OneType

Defined in Types

Methods

toElmDefinition :: Proxy OneType -> ElmDefinition

Eq OneType

Defined in Types

Methods

(==) :: OneType -> OneType -> Bool

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

type Rep OneType

Defined in Types

type Rep OneType

defaultOneType :: OneType

defaultCustomCodeGen :: CustomCodeGen

All test types

data Prims

Constructors

Prims

Fields

• primsUnit :: !()
• primsBool :: !Bool
• primsChar :: !Char
• primsInt :: !Int
• primsFloat :: !Double
• primsText :: !Text
• primsString :: !String
• primsTime :: !UTCTime
• primsValue :: !Value
• primsMaybe :: !(Maybe Word)
• primsResult :: !(Either Int Text)
• primsPair :: !(Char, Bool)
• primsTriple :: !(Char, Bool, [Int])
• primsList :: ![Int]
• primsNonEmpty :: !(NonEmpty Int)

Instances

FromJSON Prims

Defined in Types

Methods

parseJSON :: Value -> Parser Prims

parseJSONList :: Value -> Parser [Prims]

ToJSON Prims

Defined in Types

Methods

toJSON :: Prims -> Value

toEncoding :: Prims -> Encoding

toJSONList :: [Prims] -> Value

toEncodingList :: [Prims] -> Encoding

Generic Prims

Defined in Types

Associated Types

type Rep Prims :: Type -> Type

Methods

from :: Prims -> Rep Prims x

to :: Rep Prims x -> Prims

Show Prims

Defined in Types

Methods

showsPrec :: Int -> Prims -> ShowS

show :: Prims -> String

showList :: [Prims] -> ShowS

Elm Prims

Defined in Types

Methods

toElmDefinition :: Proxy Prims -> ElmDefinition

Eq Prims

Defined in Types

Methods

(==) :: Prims -> Prims -> Bool

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

type Rep Prims

Defined in Types

type Rep Prims = D1 ('MetaData "Prims" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) (C1 ('MetaCons "Prims" 'PrefixI 'True) (((S1 ('MetaSel ('Just "primsUnit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ()) :*: (S1 ('MetaSel ('Just "primsBool") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "primsChar") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Char))) :*: ((S1 ('MetaSel ('Just "primsInt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "primsFloat") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)) :*: (S1 ('MetaSel ('Just "primsText") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "primsString") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)))) :*: (((S1 ('MetaSel ('Just "primsTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :*: S1 ('MetaSel ('Just "primsValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Value)) :*: (S1 ('MetaSel ('Just "primsMaybe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Word)) :*: S1 ('MetaSel ('Just "primsResult") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Either Int Text)))) :*: ((S1 ('MetaSel ('Just "primsPair") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Char, Bool)) :*: S1 ('MetaSel ('Just "primsTriple") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Char, Bool, [Int]))) :*: (S1 ('MetaSel ('Just "primsList") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int]) :*: S1 ('MetaSel ('Just "primsNonEmpty") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty Int)))))))

newtype Id a

Constructors

Id

Fields

• unId :: Text

Instances

FromJSON (Id a)

Defined in Types

Methods

parseJSON :: Value -> Parser (Id a)

parseJSONList :: Value -> Parser [Id a]

ToJSON (Id a)

Defined in Types

Methods

toJSON :: Id a -> Value

toEncoding :: Id a -> Encoding

toJSONList :: [Id a] -> Value

toEncodingList :: [Id a] -> Encoding

Show (Id a)

Defined in Types

Methods

showsPrec :: Int -> Id a -> ShowS

show :: Id a -> String

showList :: [Id a] -> ShowS

Elm (Id a)

Defined in Types

Methods

toElmDefinition :: Proxy (Id a) -> ElmDefinition

Eq (Id a)

Defined in Types

Methods

(==) :: Id a -> Id a -> Bool

(/=) :: Id a -> Id a -> Bool

newtype Age

Constructors

Age

Fields

• unAge :: Int

Instances

FromJSON Age

Defined in Types

Methods

parseJSON :: Value -> Parser Age

parseJSONList :: Value -> Parser [Age]

ToJSON Age

Defined in Types

Methods

toJSON :: Age -> Value

toEncoding :: Age -> Encoding

toJSONList :: [Age] -> Value

toEncodingList :: [Age] -> Encoding

Generic Age

Defined in Types

Associated Types

type Rep Age :: Type -> Type

Methods

from :: Age -> Rep Age x

to :: Rep Age x -> Age

Show Age

Defined in Types

Methods

showsPrec :: Int -> Age -> ShowS

show :: Age -> String

showList :: [Age] -> ShowS

Elm Age

Defined in Types

Methods

toElmDefinition :: Proxy Age -> ElmDefinition

Eq Age

Defined in Types

Methods

(==) :: Age -> Age -> Bool

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

type Rep Age

Defined in Types

type Rep Age = D1 ('MetaData "Age" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'True) (C1 ('MetaCons "Age" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAge") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype Newtype

Constructors

Newtype Int

Instances

FromJSON Newtype

Defined in Types

Methods

parseJSON :: Value -> Parser Newtype

parseJSONList :: Value -> Parser [Newtype]

ToJSON Newtype

Defined in Types

Methods

toJSON :: Newtype -> Value

toEncoding :: Newtype -> Encoding

toJSONList :: [Newtype] -> Value

toEncodingList :: [Newtype] -> Encoding

Generic Newtype

Defined in Types

Associated Types

type Rep Newtype :: Type -> Type

Methods

from :: Newtype -> Rep Newtype x

to :: Rep Newtype x -> Newtype

Show Newtype

Defined in Types

Methods

showsPrec :: Int -> Newtype -> ShowS

show :: Newtype -> String

showList :: [Newtype] -> ShowS

Elm Newtype

Defined in Types

Methods

toElmDefinition :: Proxy Newtype -> ElmDefinition

Eq Newtype

Defined in Types

Methods

(==) :: Newtype -> Newtype -> Bool

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

type Rep Newtype

Defined in Types

type Rep Newtype = D1 ('MetaData "Newtype" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'True) (C1 ('MetaCons "Newtype" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype NewtypeList

Constructors

NewtypeList [Int]

Instances

FromJSON NewtypeList

Defined in Types

Methods

parseJSON :: Value -> Parser NewtypeList

parseJSONList :: Value -> Parser [NewtypeList]

ToJSON NewtypeList

Defined in Types

Methods

toJSON :: NewtypeList -> Value

toEncoding :: NewtypeList -> Encoding

toJSONList :: [NewtypeList] -> Value

toEncodingList :: [NewtypeList] -> Encoding

Generic NewtypeList

Defined in Types

Associated Types

type Rep NewtypeList :: Type -> Type

Methods

from :: NewtypeList -> Rep NewtypeList x

to :: Rep NewtypeList x -> NewtypeList

Show NewtypeList

Defined in Types

Methods

showsPrec :: Int -> NewtypeList -> ShowS

show :: NewtypeList -> String

showList :: [NewtypeList] -> ShowS

Elm NewtypeList

Defined in Types

Methods

toElmDefinition :: Proxy NewtypeList -> ElmDefinition

Eq NewtypeList

Defined in Types

Methods

(==) :: NewtypeList -> NewtypeList -> Bool

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

type Rep NewtypeList

Defined in Types

type Rep NewtypeList = D1 ('MetaData "NewtypeList" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'True) (C1 ('MetaCons "NewtypeList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Int])))

data OneConstructor

Constructors

OneConstructor

Instances

FromJSON OneConstructor

Defined in Types

Methods

parseJSON :: Value -> Parser OneConstructor

parseJSONList :: Value -> Parser [OneConstructor]

ToJSON OneConstructor

Defined in Types

Methods

toJSON :: OneConstructor -> Value

toEncoding :: OneConstructor -> Encoding

toJSONList :: [OneConstructor] -> Value

toEncodingList :: [OneConstructor] -> Encoding

Generic OneConstructor

Defined in Types

Associated Types

type Rep OneConstructor :: Type -> Type

Methods

from :: OneConstructor -> Rep OneConstructor x

to :: Rep OneConstructor x -> OneConstructor

Show OneConstructor

Defined in Types

Methods

showsPrec :: Int -> OneConstructor -> ShowS

show :: OneConstructor -> String

showList :: [OneConstructor] -> ShowS

Elm OneConstructor

Defined in Types

Methods

toElmDefinition :: Proxy OneConstructor -> ElmDefinition

Eq OneConstructor

Defined in Types

Methods

(==) :: OneConstructor -> OneConstructor -> Bool

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

type Rep OneConstructor

Defined in Types

type Rep OneConstructor = D1 ('MetaData "OneConstructor" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) (C1 ('MetaCons "OneConstructor" 'PrefixI 'False) (U1 :: Type -> Type))

data RequestStatus

Constructors

Approved

Rejected

Reviewing

Instances

FromJSON RequestStatus

Defined in Types

Methods

parseJSON :: Value -> Parser RequestStatus

parseJSONList :: Value -> Parser [RequestStatus]

ToJSON RequestStatus

Defined in Types

Methods

toJSON :: RequestStatus -> Value

toEncoding :: RequestStatus -> Encoding

toJSONList :: [RequestStatus] -> Value

toEncodingList :: [RequestStatus] -> Encoding

Generic RequestStatus

Defined in Types

Associated Types

type Rep RequestStatus :: Type -> Type

Methods

from :: RequestStatus -> Rep RequestStatus x

to :: Rep RequestStatus x -> RequestStatus

Show RequestStatus

Defined in Types

Methods

showsPrec :: Int -> RequestStatus -> ShowS

show :: RequestStatus -> String

showList :: [RequestStatus] -> ShowS

Elm RequestStatus

Defined in Types

Methods

toElmDefinition :: Proxy RequestStatus -> ElmDefinition

Eq RequestStatus

Defined in Types

Methods

(==) :: RequestStatus -> RequestStatus -> Bool

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

type Rep RequestStatus

Defined in Types

type Rep RequestStatus = D1 ('MetaData "RequestStatus" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) (C1 ('MetaCons "Approved" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Rejected" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Reviewing" 'PrefixI 'False) (U1 :: Type -> Type)))

data User

Constructors

User

Fields

• userId :: !(Id User)
• userName :: !Text
• userAge :: !Age
• userStatus :: !RequestStatus

Instances

FromJSON User

Defined in Types

Methods

parseJSON :: Value -> Parser User

parseJSONList :: Value -> Parser [User]

ToJSON User

Defined in Types

Methods

toJSON :: User -> Value

toEncoding :: User -> Encoding

toJSONList :: [User] -> Value

toEncodingList :: [User] -> Encoding

Generic User

Defined in Types

Associated Types

type Rep User :: Type -> Type

Methods

from :: User -> Rep User x

to :: Rep User x -> User

Show User

Defined in Types

Methods

showsPrec :: Int -> User -> ShowS

show :: User -> String

showList :: [User] -> ShowS

Elm User

Defined in Types

Methods

toElmDefinition :: Proxy User -> ElmDefinition

Eq User

Defined in Types

Methods

(==) :: User -> User -> Bool

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

type Rep User

Defined in Types

type Rep User = D1 ('MetaData "User" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) ((S1 ('MetaSel ('Just "userId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Id User)) :*: S1 ('MetaSel ('Just "userName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "userAge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Age) :*: S1 ('MetaSel ('Just "userStatus") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RequestStatus))))

data Guest

Constructors

Regular Text Int

Visitor Text

Special (Maybe [Int])

Blocked

Instances

FromJSON Guest

Defined in Types

Methods

parseJSON :: Value -> Parser Guest

parseJSONList :: Value -> Parser [Guest]

ToJSON Guest

Defined in Types

Methods

toJSON :: Guest -> Value

toEncoding :: Guest -> Encoding

toJSONList :: [Guest] -> Value

toEncodingList :: [Guest] -> Encoding

Generic Guest

Defined in Types

Associated Types

type Rep Guest :: Type -> Type

Methods

from :: Guest -> Rep Guest x

to :: Rep Guest x -> Guest

Show Guest

Defined in Types

Methods

showsPrec :: Int -> Guest -> ShowS

show :: Guest -> String

showList :: [Guest] -> ShowS

Elm Guest

Defined in Types

Methods

toElmDefinition :: Proxy Guest -> ElmDefinition

Eq Guest

Defined in Types

Methods

(==) :: Guest -> Guest -> Bool

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

type Rep Guest

Defined in Types

type Rep Guest = D1 ('MetaData "Guest" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) ((C1 ('MetaCons "Regular" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "Visitor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "Special" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Int]))) :+: C1 ('MetaCons "Blocked" 'PrefixI 'False) (U1 :: Type -> Type)))

data UserRequest

Constructors

UserRequest

Fields

• userRequestIds :: ![Id User]
• userRequestLimit :: !Word32
• userRequestExample :: !(Maybe (Either User Guest))

Instances

FromJSON UserRequest

Defined in Types

Methods

parseJSON :: Value -> Parser UserRequest

parseJSONList :: Value -> Parser [UserRequest]

ToJSON UserRequest

Defined in Types

Methods

toJSON :: UserRequest -> Value

toEncoding :: UserRequest -> Encoding

toJSONList :: [UserRequest] -> Value

toEncodingList :: [UserRequest] -> Encoding

Generic UserRequest

Defined in Types

Associated Types

type Rep UserRequest :: Type -> Type

Methods

from :: UserRequest -> Rep UserRequest x

to :: Rep UserRequest x -> UserRequest

Show UserRequest

Defined in Types

Methods

showsPrec :: Int -> UserRequest -> ShowS

show :: UserRequest -> String

showList :: [UserRequest] -> ShowS

Elm UserRequest

Defined in Types

Methods

toElmDefinition :: Proxy UserRequest -> ElmDefinition

Eq UserRequest

Defined in Types

Methods

(==) :: UserRequest -> UserRequest -> Bool

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

type Rep UserRequest

Defined in Types

type Rep UserRequest = D1 ('MetaData "UserRequest" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) (C1 ('MetaCons "UserRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "userRequestIds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Id User]) :*: (S1 ('MetaSel ('Just "userRequestLimit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "userRequestExample") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (Either User Guest))))))

data CustomCodeGen

Constructors

CustomCodeGen

Fields

• customCodeGenString :: String
• customCodeGenInt :: Int

Instances

FromJSON CustomCodeGen

Defined in Types

Methods

parseJSON :: Value -> Parser CustomCodeGen

parseJSONList :: Value -> Parser [CustomCodeGen]

ToJSON CustomCodeGen

Defined in Types

Methods

toJSON :: CustomCodeGen -> Value

toEncoding :: CustomCodeGen -> Encoding

toJSONList :: [CustomCodeGen] -> Value

toEncodingList :: [CustomCodeGen] -> Encoding

Generic CustomCodeGen

Defined in Types

Associated Types

type Rep CustomCodeGen :: Type -> Type

Methods

from :: CustomCodeGen -> Rep CustomCodeGen x

to :: Rep CustomCodeGen x -> CustomCodeGen

Show CustomCodeGen

Defined in Types

Methods

showsPrec :: Int -> CustomCodeGen -> ShowS

show :: CustomCodeGen -> String

showList :: [CustomCodeGen] -> ShowS

Elm CustomCodeGen

Defined in Types

Methods

toElmDefinition :: Proxy CustomCodeGen -> ElmDefinition

Eq CustomCodeGen

Defined in Types

Methods

(==) :: CustomCodeGen -> CustomCodeGen -> Bool

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

type Rep CustomCodeGen

Defined in Types

type Rep CustomCodeGen = D1 ('MetaData "CustomCodeGen" "Types" "elm-street-0.2.1.1-6gsFPVNJBzZ6hkoXVdq6tl-types" 'False) (C1 ('MetaCons "CustomCodeGen" 'PrefixI 'True) (S1 ('MetaSel ('Just "customCodeGenString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "customCodeGenInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))