Safe Haskell	None
Language	Haskell2010

Data.Basic.Example

Contents

Orphan instances

Documentation

data User Source #

Constructors

User
Fields _userId :: !Key _userName :: !Text _userLocation :: Point

Instances

Eq User Source #
Methods (==) :: User -> User -> Bool # (/=) :: User -> User -> Bool #
Read User Source #
Methods readsPrec :: Int -> ReadS User # readList :: ReadS [User] # readPrec :: ReadPrec User # readListPrec :: ReadPrec [User] #
Show User Source #
Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
FromRow User Source #
Methods fromRow :: RowParser User #
Table User Source #
Associated Types type TableName User = (name :: Symbol) Source # type TableFields User :: [Symbol] Source # type TableConstraints User :: [FieldConstraint] Source # type TablePrimaryKey User :: Maybe Symbol Source # type TableRequiredFields User :: [MissingField] Source # Methods newEntity :: Entity (Fresh (TableRequiredFields User)) User Source #
TableField User "id" Source #
Associated Types type TableFieldType User ("id" :: Symbol) :: * Source # type TableFieldCapsName User ("id" :: Symbol) :: Maybe Symbol Source # Methods tableFieldLens :: Lens' User (TableFieldType User "id") Source #
TableField User "location" Source #
Associated Types type TableFieldType User ("location" :: Symbol) :: * Source # type TableFieldCapsName User ("location" :: Symbol) :: Maybe Symbol Source # Methods tableFieldLens :: Lens' User (TableFieldType User "location") Source #
TableField User "name" Source #
Associated Types type TableFieldType User ("name" :: Symbol) :: * Source # type TableFieldCapsName User ("name" :: Symbol) :: Maybe Symbol Source # Methods tableFieldLens :: Lens' User (TableFieldType User "name") Source #
type TableName User Source #
type TableName User = "blog_user"
type TableFields User Source #
type TableFields User = (:) Symbol "id" ((:) Symbol "name" ((:) Symbol "location" ([] Symbol)))
type TableConstraints User Source #
type TableConstraints User = (:) FieldConstraint (Unique "blog_user_pkey") ([] FieldConstraint)
type TablePrimaryKey User Source #
type TablePrimaryKey User = Just Symbol "blog_user_pkey"
type TableRequiredFields User Source #
type TableRequiredFields User = (:) MissingField (Required "id") ((:) MissingField (Required "name") ([] MissingField))
type TableFieldType User "id" Source #
type TableFieldType User "id" = Key
type TableFieldType User "location" Source #
type TableFieldType User "location" = Point
type TableFieldType User "name" Source #
type TableFieldType User "name" = Text
type TableFieldCapsName User "id" Source #
type TableFieldCapsName User "id" = Nothing Symbol
type TableFieldCapsName User "location" Source #
type TableFieldCapsName User "location" = Nothing Symbol
type TableFieldCapsName User "name" Source #
type TableFieldCapsName User "name" = Nothing Symbol

userName :: Lens' User Text Source #

userLocation :: Lens' User Point Source #

userId :: Lens' User Key Source #

data Post Source #

Constructors

Post
Fields _postId :: Key _postName :: Text _postUserId :: Key

Instances

Eq Post Source #
Methods (==) :: Post -> Post -> Bool # (/=) :: Post -> Post -> Bool #
Ord Post Source #
Methods compare :: Post -> Post -> Ordering # (<) :: Post -> Post -> Bool # (<=) :: Post -> Post -> Bool # (>) :: Post -> Post -> Bool # (>=) :: Post -> Post -> Bool # max :: Post -> Post -> Post # min :: Post -> Post -> Post #
Read Post Source #
Methods readsPrec :: Int -> ReadS Post # readList :: ReadS [Post] # readPrec :: ReadPrec Post # readListPrec :: ReadPrec [Post] #
Show Post Source #
Methods showsPrec :: Int -> Post -> ShowS # show :: Post -> String # showList :: [Post] -> ShowS #
FromRow Post Source #
Methods fromRow :: RowParser Post #
Table Post Source #
Associated Types type TableName Post = (name :: Symbol) Source # type TableFields Post :: [Symbol] Source # type TableConstraints Post :: [FieldConstraint] Source # type TablePrimaryKey Post :: Maybe Symbol Source # type TableRequiredFields Post :: [MissingField] Source # Methods newEntity :: Entity (Fresh (TableRequiredFields Post)) Post Source #
TableField Post "author" Source #
Associated Types type TableFieldType Post ("author" :: Symbol) :: * Source # type TableFieldCapsName Post ("author" :: Symbol) :: Maybe Symbol Source # Methods tableFieldLens :: Lens' Post (TableFieldType Post "author") Source #
TableField Post "id" Source #
Associated Types type TableFieldType Post ("id" :: Symbol) :: * Source # type TableFieldCapsName Post ("id" :: Symbol) :: Maybe Symbol Source # Methods tableFieldLens :: Lens' Post (TableFieldType Post "id") Source #
TableField Post "name" Source #
Associated Types type TableFieldType Post ("name" :: Symbol) :: * Source # type TableFieldCapsName Post ("name" :: Symbol) :: Maybe Symbol Source # Methods tableFieldLens :: Lens' Post (TableFieldType Post "name") Source #
type TableName Post Source #
type TableName Post = "blog_post"
type TableFields Post Source #
type TableFields Post = (:) Symbol "id" ((:) Symbol "name" ((:) Symbol "author" ([] Symbol)))
type TableConstraints Post Source #
type TableConstraints Post = (:) FieldConstraint (ForeignKey "blog_post_author_fkey") ([] FieldConstraint)
type TablePrimaryKey Post Source #
type TablePrimaryKey Post = Just Symbol "blog_post_pkey"
type TableRequiredFields Post Source #
type TableRequiredFields Post = (:) MissingField (Required "id") ((:) MissingField (Required "name") ((:) MissingField (Required "author") ([] MissingField)))
type TableFieldType Post "author" Source #
type TableFieldType Post "author" = Key
type TableFieldType Post "id" Source #
type TableFieldType Post "id" = Key
type TableFieldType Post "name" Source #
type TableFieldType Post "name" = Text
type TableFieldCapsName Post "author" Source #
type TableFieldCapsName Post "author" = Nothing Symbol
type TableFieldCapsName Post "id" Source #
type TableFieldCapsName Post "id" = Nothing Symbol
type TableFieldCapsName Post "name" Source #
type TableFieldCapsName Post "name" = Nothing Symbol

postUserId :: Lens' Post Key Source #

postName :: Lens' Post Text Source #

postId :: Lens' Post Key Source #

allUsers :: AllRows User res => res Source #

allPosts :: AllRows Post res => res Source #

newUser :: Entity (Fresh [Required "id", Required "name", Required "location"]) User Source #

newPost :: Entity (Fresh [Required "id", Required "name", Required "author"]) Post Source #

posts :: VirtualTable "blog_post_author_fkey" res => Getter' (Entity (FromDb c) (ForeignKeyTo "blog_post_author_fkey")) res Source #

id :: FieldOpticProxy (Proxy "id" -> o) => o Source #

name :: FieldOpticProxy (Proxy "name" -> o) => o Source #

location :: FieldOpticProxy (Proxy "location" -> o) => o Source #

authorId :: FieldOpticProxy (Proxy "author" -> o) => o Source #

author :: ForeignKeyLensProxy (Proxy "blog_post_author_fkey" -> o) => o Source #

test1 :: (MonadIO m, MonadEffect Basic m) => m () Source #

test :: IO () Source #

putQ :: Show a => Q a -> IO () Source #

putQLn :: Show a => Q a -> IO () Source #

Orphan instances

ForeignKeyConstraint "blog_post_author_fkey" Source #
Associated Types type ForeignKeyFrom ("blog_post_author_fkey" :: Symbol) :: * Source # type ForeignKeyTo ("blog_post_author_fkey" :: Symbol) :: * Source # type ForeignKeyFromFields ("blog_post_author_fkey" :: Symbol) :: [Symbol] Source # type ForeignKeyToFields ("blog_post_author_fkey" :: Symbol) :: [Symbol] Source #
UniqueConstraint "blog_post_pkey" Source #
Associated Types type UniqueTable ("blog_post_pkey" :: Symbol) :: * Source # type UniqueFields ("blog_post_pkey" :: Symbol) :: [Symbol] Source #
UniqueConstraint "blog_user_pkey" Source #
Associated Types type UniqueTable ("blog_user_pkey" :: Symbol) :: * Source # type UniqueFields ("blog_user_pkey" :: Symbol) :: [Symbol] Source #
PrimaryKeyConstraint "blog_post_pkey" Source #

PrimaryKeyConstraint "blog_user_pkey" Source #