Data.Basic.Example

Documentation

data User

Constructors

User

Fields

• _userId :: !Key
• _userName :: !Text
• _userLocation :: Point

Instances

Eq User

Methods

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

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

Read User

Methods

readsPrec :: Int -> ReadS User

readList :: ReadS [User]

readPrec :: ReadPrec User

readListPrec :: ReadPrec [User]

Show User

Methods

showsPrec :: Int -> User -> ShowS

show :: User -> String

showList :: [User] -> ShowS

FromRow User

Methods

fromRow :: RowParser User

Table User

Associated Types

type TableName User = (name :: Symbol)

type TableFields User :: [Symbol]

type TableConstraints User :: [FieldConstraint]

type TablePrimaryKey User :: Maybe Symbol

type TableRequiredFields User :: [MissingField]

Methods

newEntity :: Entity (Fresh (TableRequiredFields User)) User

TableField User "id"

Associated Types

type TableFieldType User ("id" :: Symbol) :: *

type TableFieldCapsName User ("id" :: Symbol) :: Maybe Symbol

Methods

tableFieldLens :: Lens' User (TableFieldType User "id")

TableField User "location"

Associated Types

type TableFieldType User ("location" :: Symbol) :: *

type TableFieldCapsName User ("location" :: Symbol) :: Maybe Symbol

Methods

tableFieldLens :: Lens' User (TableFieldType User "location")

TableField User "name"

Associated Types

type TableFieldType User ("name" :: Symbol) :: *

type TableFieldCapsName User ("name" :: Symbol) :: Maybe Symbol

Methods

tableFieldLens :: Lens' User (TableFieldType User "name")

type TableName User

type TableName User = "blog_user"

type TableFields User

type TableFields User = (:) Symbol "id" ((:) Symbol "name" ((:) Symbol "location" ([] Symbol)))

type TableConstraints User

type TableConstraints User = (:) FieldConstraint (Unique "blog_user_pkey") ([] FieldConstraint)

type TablePrimaryKey User

type TablePrimaryKey User = Just Symbol "blog_user_pkey"

type TableRequiredFields User

type TableRequiredFields User = (:) MissingField (Required "id") ((:) MissingField (Required "name") ([] MissingField))

type TableFieldType User "id"

type TableFieldType User "id" = Key

type TableFieldType User "location"

type TableFieldType User "location" = Point

type TableFieldType User "name"

type TableFieldType User "name" = Text

type TableFieldCapsName User "id"

type TableFieldCapsName User "id" = Nothing Symbol

type TableFieldCapsName User "location"

type TableFieldCapsName User "location" = Nothing Symbol

type TableFieldCapsName User "name"

type TableFieldCapsName User "name" = Nothing Symbol

userName :: Lens' User Text

userLocation :: Lens' User Point

userId :: Lens' User Key

data Post

Constructors

Post

Fields

• _postId :: Key
• _postName :: Text
• _postUserId :: Key

Instances

Eq Post

Methods

(==) :: Post -> Post -> Bool

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

Ord Post

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

Methods

readsPrec :: Int -> ReadS Post

readList :: ReadS [Post]

readPrec :: ReadPrec Post

readListPrec :: ReadPrec [Post]

Show Post

Methods

showsPrec :: Int -> Post -> ShowS

show :: Post -> String

showList :: [Post] -> ShowS

FromRow Post

Methods

fromRow :: RowParser Post

Table Post

Associated Types

type TableName Post = (name :: Symbol)

type TableFields Post :: [Symbol]

type TableConstraints Post :: [FieldConstraint]

type TablePrimaryKey Post :: Maybe Symbol

type TableRequiredFields Post :: [MissingField]

Methods

newEntity :: Entity (Fresh (TableRequiredFields Post)) Post

TableField Post "author"

Associated Types

type TableFieldType Post ("author" :: Symbol) :: *

type TableFieldCapsName Post ("author" :: Symbol) :: Maybe Symbol

Methods

tableFieldLens :: Lens' Post (TableFieldType Post "author")

TableField Post "id"

Associated Types

type TableFieldType Post ("id" :: Symbol) :: *

type TableFieldCapsName Post ("id" :: Symbol) :: Maybe Symbol

Methods

tableFieldLens :: Lens' Post (TableFieldType Post "id")

TableField Post "name"

Associated Types

type TableFieldType Post ("name" :: Symbol) :: *

type TableFieldCapsName Post ("name" :: Symbol) :: Maybe Symbol

Methods

tableFieldLens :: Lens' Post (TableFieldType Post "name")

type TableName Post

type TableName Post = "blog_post"

type TableFields Post

type TableFields Post = (:) Symbol "id" ((:) Symbol "name" ((:) Symbol "author" ([] Symbol)))

type TableConstraints Post

type TableConstraints Post = (:) FieldConstraint (ForeignKey "blog_post_author_fkey") ([] FieldConstraint)

type TablePrimaryKey Post

type TablePrimaryKey Post = Just Symbol "blog_post_pkey"

type TableRequiredFields Post

type TableRequiredFields Post = (:) MissingField (Required "id") ((:) MissingField (Required "name") ((:) MissingField (Required "author") ([] MissingField)))

type TableFieldType Post "author"

type TableFieldType Post "author" = Key

type TableFieldType Post "id"

type TableFieldType Post "id" = Key

type TableFieldType Post "name"

type TableFieldType Post "name" = Text

type TableFieldCapsName Post "author"

type TableFieldCapsName Post "author" = Nothing Symbol

type TableFieldCapsName Post "id"

type TableFieldCapsName Post "id" = Nothing Symbol

type TableFieldCapsName Post "name"

type TableFieldCapsName Post "name" = Nothing Symbol

postUserId :: Lens' Post Key

postName :: Lens' Post Text

postId :: Lens' Post Key

allUsers :: AllRows User res => res

allPosts :: AllRows Post res => res

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

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

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

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

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

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

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

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

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

test :: IO ()

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

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

Orphan instances

ForeignKeyConstraint "blog_post_author_fkey"

Associated Types

type ForeignKeyFrom ("blog_post_author_fkey" :: Symbol) :: *

type ForeignKeyTo ("blog_post_author_fkey" :: Symbol) :: *

type ForeignKeyFromFields ("blog_post_author_fkey" :: Symbol) :: [Symbol]

type ForeignKeyToFields ("blog_post_author_fkey" :: Symbol) :: [Symbol]

UniqueConstraint "blog_post_pkey"

Associated Types

type UniqueTable ("blog_post_pkey" :: Symbol) :: *

type UniqueFields ("blog_post_pkey" :: Symbol) :: [Symbol]

UniqueConstraint "blog_user_pkey"

Associated Types

type UniqueTable ("blog_user_pkey" :: Symbol) :: *

type UniqueFields ("blog_user_pkey" :: Symbol) :: [Symbol]

PrimaryKeyConstraint "blog_post_pkey"

PrimaryKeyConstraint "blog_user_pkey"