Safe Haskell	None
Language	GHC2021

DBPipe.SQLite.Generic

Documentation

newtype SQLName Source #

Constructors

SQLName Text

Instances

Instances details

IsString SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods fromString :: String -> SQLName #
Monoid SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods mempty :: SQLName # mappend :: SQLName -> SQLName -> SQLName # mconcat :: [SQLName] -> SQLName #
Semigroup SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods (<>) :: SQLName -> SQLName -> SQLName # sconcat :: NonEmpty SQLName -> SQLName # stimes :: Integral b => b -> SQLName -> SQLName #
Show SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods showsPrec :: Int -> SQLName -> ShowS # show :: SQLName -> String # showList :: [SQLName] -> ShowS #
HasColumnNames SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: SQLName -> [SQLName] Source #
ToSQL SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods toSQL :: SQLName -> SQLPart Source #
Eq SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods (==) :: SQLName -> SQLName -> Bool # (/=) :: SQLName -> SQLName -> Bool #
Ord SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods compare :: SQLName -> SQLName -> Ordering # (<) :: SQLName -> SQLName -> Bool # (<=) :: SQLName -> SQLName -> Bool # (>) :: SQLName -> SQLName -> Bool # (>=) :: SQLName -> SQLName -> Bool # max :: SQLName -> SQLName -> SQLName # min :: SQLName -> SQLName -> SQLName #
HasColumnNames [SQLName] Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: [SQLName] -> [SQLName] Source #

newtype SQLPart Source #

Constructors

SQLPart
Fields fromSQL :: Text

Instances

Instances details

IsString SQLPart Source #
Instance details Defined in DBPipe.SQLite.Generic Methods fromString :: String -> SQLPart #
Monoid SQLPart Source #
Instance details Defined in DBPipe.SQLite.Generic Methods mempty :: SQLPart # mappend :: SQLPart -> SQLPart -> SQLPart # mconcat :: [SQLPart] -> SQLPart #
Semigroup SQLPart Source #
Instance details Defined in DBPipe.SQLite.Generic Methods (<>) :: SQLPart -> SQLPart -> SQLPart # sconcat :: NonEmpty SQLPart -> SQLPart # stimes :: Integral b => b -> SQLPart -> SQLPart #
Show SQLPart Source #
Instance details Defined in DBPipe.SQLite.Generic Methods showsPrec :: Int -> SQLPart -> ShowS # show :: SQLPart -> String # showList :: [SQLPart] -> ShowS #
Eq SQLPart Source #
Instance details Defined in DBPipe.SQLite.Generic Methods (==) :: SQLPart -> SQLPart -> Bool # (/=) :: SQLPart -> SQLPart -> Bool #
Ord SQLPart Source #
Instance details Defined in DBPipe.SQLite.Generic Methods compare :: SQLPart -> SQLPart -> Ordering # (<) :: SQLPart -> SQLPart -> Bool # (<=) :: SQLPart -> SQLPart -> Bool # (>) :: SQLPart -> SQLPart -> Bool # (>=) :: SQLPart -> SQLPart -> Bool # max :: SQLPart -> SQLPart -> SQLPart # min :: SQLPart -> SQLPart -> SQLPart #

data AllColumns (a :: k) Source #

Constructors

AllColumns

Instances

Instances details

Generic (AllColumns a) Source #

Instance details

Defined in DBPipe.SQLite.Generic

Associated Types

type Rep (AllColumns a)
Instance details Defined in DBPipe.SQLite.Generic type Rep (AllColumns a) = D1 ('MetaData "AllColumns" "DBPipe.SQLite.Generic" "db-pipe-0.1.0.2-8sclhOipZWHHiStS9Gzaj1" 'False) (C1 ('MetaCons "AllColumns" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: AllColumns a -> Rep (AllColumns a) x #

to :: Rep (AllColumns a) x -> AllColumns a #

(Generic a, GColumnNames (Rep a)) => HasColumnNames (AllColumns a) Source #

Instance details

Defined in DBPipe.SQLite.Generic

Methods

columnNames :: AllColumns a -> [SQLName] Source #

type Rep (AllColumns a) Source #

Instance details

Defined in DBPipe.SQLite.Generic

type Rep (AllColumns a) = D1 ('MetaData "AllColumns" "DBPipe.SQLite.Generic" "db-pipe-0.1.0.2-8sclhOipZWHHiStS9Gzaj1" 'False) (C1 ('MetaCons "AllColumns" 'PrefixI 'False) (U1 :: Type -> Type))

class ToSQL a where Source #

Methods

toSQL :: a -> SQLPart Source #

Instances

Instances details

ToSQL SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods toSQL :: SQLName -> SQLPart Source #

class GHasColumnNames (f :: k -> Type) where Source #

Methods

gColumnNames :: forall (p :: k). f p -> [SQLName] Source #

Instances

Instances details

GHasColumnNames (U1 :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames :: forall (p :: k). U1 p -> [SQLName] Source #
(GHasColumnNames a, GHasColumnNames b) => GHasColumnNames (a :*: b :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames :: forall (p :: k). (a :*: b) p -> [SQLName] Source #
(GHasColumnNames a, GHasColumnNames b) => GHasColumnNames (a :+: b :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames :: forall (p :: k). (a :+: b) p -> [SQLName] Source #
HasColumnName c => GHasColumnNames (K1 i c :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames :: forall (p :: k). K1 i c p -> [SQLName] Source #
GHasColumnNames a => GHasColumnNames (M1 i t a :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames :: forall (p :: k). M1 i t a p -> [SQLName] Source #

class HasTableName (a :: k) where Source #

Methods

tableName :: SQLName Source #

class HasColumnNames a where Source #

Minimal complete definition

Nothing

Methods

columnNames :: a -> [SQLName] Source #

default columnNames :: (Generic a, GHasColumnNames (Rep a)) => a -> [SQLName] Source #

Instances

Instances details

HasColumnNames SQLName Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: SQLName -> [SQLName] Source #
(Generic a, GHasColumnNames (Rep a)) => HasColumnNames a Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: a -> [SQLName] Source #
HasColumnNames [SQLName] Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: [SQLName] -> [SQLName] Source #
(Generic a, GColumnNames (Rep a)) => HasColumnNames (AllColumns a) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: AllColumns a -> [SQLName] Source #
(HasPrimaryKey t, HasColumnNames r) => HasColumnNames (OnCoflictIgnore t r) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods columnNames :: OnCoflictIgnore t r -> [SQLName] Source #

class HasColumnName (a :: k) where Source #

Methods

columnName :: SQLName Source #

class GColumnNames (f :: k) where Source #

Methods

gColumnNames1 :: [SQLName] Source #

Instances

Instances details

GColumnNames (U1 :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames1 :: [SQLName] Source #
(GColumnNames a, GColumnNames b) => GColumnNames (a :*: b :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames1 :: [SQLName] Source #
(GColumnNames a, GColumnNames b) => GColumnNames (a :+: b :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames1 :: [SQLName] Source #
GColumnNames a => GColumnNames (M1 C c a :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames1 :: [SQLName] Source #
GColumnNames a => GColumnNames (M1 D d a :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames1 :: [SQLName] Source #
(Selector s, HasColumnName c) => GColumnNames (M1 S s (K1 i c :: k -> Type) :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gColumnNames1 :: [SQLName] Source #

data Bound Source #

Constructors

ToField a => Bound a

Instances

Instances details

ToField Bound Source #
Instance details Defined in DBPipe.SQLite.Generic Methods toField :: Bound -> SQLData #

class GToBoundList (f :: k -> Type) where Source #

Methods

gToBoundList :: forall (p :: k). f p -> [Bound] Source #

Instances

Instances details

GToBoundList (U1 :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gToBoundList :: forall (p :: k). U1 p -> [Bound] Source #
(GToBoundList a, GToBoundList b) => GToBoundList (a :*: b :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gToBoundList :: forall (p :: k). (a :*: b) p -> [Bound] Source #
ToField c => GToBoundList (K1 i c :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gToBoundList :: forall (p :: k). K1 i c p -> [Bound] Source #
GToBoundList a => GToBoundList (M1 i t a :: k -> Type) Source #
Instance details Defined in DBPipe.SQLite.Generic Methods gToBoundList :: forall (p :: k). M1 i t a p -> [Bound] Source #

class ToBoundList a where Source #

Minimal complete definition

Nothing

Methods

toBoundList :: a -> [Bound] Source #

default toBoundList :: (Generic a, GToBoundList (Rep a)) => a -> [Bound] Source #

Instances

Instances details

(Generic a, GToBoundList (Rep a)) => ToBoundList a Source #
Instance details Defined in DBPipe.SQLite.Generic Methods toBoundList :: a -> [Bound] Source #

columnListPart :: HasColumnNames a => a -> SQLPart Source #

bindListPart :: HasColumnNames a => a -> SQLPart Source #

class HasPrimaryKey (t :: k) where Source #

Methods

primaryKey :: [SQLName] Source #

newtype OnCoflictIgnore (t :: k) r Source #

Constructors

OnCoflictIgnore r

Instances

Instances details

(MonadIO m, HasTableName t, HasPrimaryKey t, HasColumnNames b, ToBoundList b) => Insert (t :: k) (OnCoflictIgnore t b) m Source #

Instance details

Defined in DBPipe.SQLite.Generic

Methods

insert :: OnCoflictIgnore t b -> DBPipeM m () Source #

Generic (OnCoflictIgnore t r) Source #

Instance details

Defined in DBPipe.SQLite.Generic

Associated Types

type Rep (OnCoflictIgnore t r)
Instance details Defined in DBPipe.SQLite.Generic type Rep (OnCoflictIgnore t r) = D1 ('MetaData "OnCoflictIgnore" "DBPipe.SQLite.Generic" "db-pipe-0.1.0.2-8sclhOipZWHHiStS9Gzaj1" 'True) (C1 ('MetaCons "OnCoflictIgnore" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

Methods

from :: OnCoflictIgnore t r -> Rep (OnCoflictIgnore t r) x #

to :: Rep (OnCoflictIgnore t r) x -> OnCoflictIgnore t r #

(HasPrimaryKey t, HasColumnNames r) => HasColumnNames (OnCoflictIgnore t r) Source #

Instance details

Defined in DBPipe.SQLite.Generic

Methods

columnNames :: OnCoflictIgnore t r -> [SQLName] Source #

type Rep (OnCoflictIgnore t r) Source #

Instance details

Defined in DBPipe.SQLite.Generic

type Rep (OnCoflictIgnore t r) = D1 ('MetaData "OnCoflictIgnore" "DBPipe.SQLite.Generic" "db-pipe-0.1.0.2-8sclhOipZWHHiStS9Gzaj1" 'True) (C1 ('MetaCons "OnCoflictIgnore" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)))

onConflictIgnore :: forall {k} (t :: k) r. (HasTableName t, HasColumnNames r) => r -> OnCoflictIgnore t r Source #

data BoundQuery Source #

Constructors

BoundQuery SQLPart [Bound]

class (MonadIO m, HasTableName t, HasColumnNames b) => Insert (t :: k) b (m :: Type -> Type) where Source #

Methods

insert :: b -> DBPipeM m () Source #

Instances

Instances details

(MonadIO m, HasTableName t, HasColumnNames b, ToBoundList b) => Insert (t :: k) b m Source #
Instance details Defined in DBPipe.SQLite.Generic Methods insert :: b -> DBPipeM m () Source #
(MonadIO m, HasTableName t, HasPrimaryKey t, HasColumnNames b, ToBoundList b) => Insert (t :: k) (OnCoflictIgnore t b) m Source #
Instance details Defined in DBPipe.SQLite.Generic Methods insert :: OnCoflictIgnore t b -> DBPipeM m () Source #