Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Haskell types used for testing `elm-street` generated Elm types.
Synopsis
- type Types = '[Prims, MyUnit, MyResult, Id (), Age, Newtype, NewtypeList, OneConstructor, RequestStatus, User, Guest, UserRequest, OneType, CustomCodeGen]
- data OneType = OneType {
- 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)
- defaultOneType :: OneType
- defaultCustomCodeGen :: CustomCodeGen
- data Prims = Prims {
- 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)
- newtype Id a = Id {}
- newtype Age = Age {}
- newtype Newtype = Newtype Int
- newtype NewtypeList = NewtypeList [Int]
- data OneConstructor = OneConstructor
- data RequestStatus
- data User = User {
- userId :: !(Id User)
- userName :: !Text
- userAge :: !Age
- userStatus :: !RequestStatus
- data Guest
- data UserRequest = UserRequest {
- userRequestIds :: ![Id User]
- userRequestLimit :: !Word32
- userRequestExample :: !(Maybe (Either User Guest))
- data CustomCodeGen = CustomCodeGen {}
Documentation
type Types = '[Prims, MyUnit, MyResult, Id (), Age, Newtype, NewtypeList, OneConstructor, RequestStatus, User, Guest, UserRequest, OneType, CustomCodeGen] Source #
Type level list of all test types.
All test types together in one type to play with.
OneType | |
|
All test types
Prims | |
|
Instances
newtype NewtypeList Source #
Instances
data OneConstructor Source #
Instances
FromJSON OneConstructor Source # | |
Defined in Types parseJSON :: Value -> Parser OneConstructor # parseJSONList :: Value -> Parser [OneConstructor] # | |
ToJSON OneConstructor Source # | |
Defined in Types toJSON :: OneConstructor -> Value # toEncoding :: OneConstructor -> Encoding # toJSONList :: [OneConstructor] -> Value # toEncodingList :: [OneConstructor] -> Encoding # | |
Generic OneConstructor Source # | |
Defined in Types type Rep OneConstructor :: Type -> Type # from :: OneConstructor -> Rep OneConstructor x # to :: Rep OneConstructor x -> OneConstructor # | |
Show OneConstructor Source # | |
Defined in Types showsPrec :: Int -> OneConstructor -> ShowS # show :: OneConstructor -> String # showList :: [OneConstructor] -> ShowS # | |
Elm OneConstructor Source # | |
Defined in Types | |
Eq OneConstructor Source # | |
Defined in Types (==) :: OneConstructor -> OneConstructor -> Bool # (/=) :: OneConstructor -> OneConstructor -> Bool # | |
type Rep OneConstructor Source # | |
data RequestStatus Source #
Instances
User | |
|
Instances
FromJSON User Source # | |
ToJSON User Source # | |
Generic User Source # | |
Show User Source # | |
Elm User Source # | |
Defined in Types toElmDefinition :: Proxy User -> ElmDefinition # | |
Eq User Source # | |
type Rep User Source # | |
Defined in Types type Rep User = D1 ('MetaData "User" "Types" "elm-street-0.2.2.0-FeoHCeOVdHSLBlcLM33P8G-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)))) |
Instances
FromJSON Guest Source # | |
ToJSON Guest Source # | |
Generic Guest Source # | |
Show Guest Source # | |
Elm Guest Source # | |
Defined in Types toElmDefinition :: Proxy Guest -> ElmDefinition # | |
Eq Guest Source # | |
type Rep Guest Source # | |
Defined in Types type Rep Guest = D1 ('MetaData "Guest" "Types" "elm-street-0.2.2.0-FeoHCeOVdHSLBlcLM33P8G-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 Source #
UserRequest | |
|
Instances
data CustomCodeGen Source #