Sqel.Prim

Documentation

type IndexColumnWith prefix name = 'DdK ('SelIndex prefix name) NoMods Int64 'Prim

type IndexColumn name = IndexColumnWith 'DefaultPrefix name

column :: Mods p -> Dd ('DdK 'SelAuto p a 'Prim)

mods :: SymNP p ps => p -> Mods ps

primMod :: p -> Dd ('DdK 'SelAuto '[p] a 'Prim)

primMods :: SymNP p ps => p -> Dd ('DdK 'SelAuto ps a 'Prim)

prim :: forall a. Dd ('DdK 'SelAuto NoMods a 'Prim)

ignore :: forall a. Dd ('DdK 'SelUnused '[Ignore] a 'Prim)

type NewtypeError = ((Quoted "primNewtype" <> " declares a column for a newtype using ") <> Quoted "Generic") <> "."

primNewtype :: forall a w err. err ~ NewtypeError => UnwrapNewtype err a w => Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim)

primCoerce :: forall a w. Coercible a w => Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim)

primIndex :: forall tpe name. IndexName 'DefaultPrefix tpe name => Dd (IndexColumn tpe)

json :: forall a. ToJSON a => FromJSON a => Dd ('DdK 'SelAuto [PgPrimName, PrimValueCodec a] a 'Prim)

enum :: forall a. Dd ('DdK 'SelAuto [PgPrimName, EnumColumn] a 'Prim)

readShow :: forall a. Dd ('DdK 'SelAuto [PgPrimName, ReadShowColumn] a 'Prim)

primNullable :: forall a. Dd ('DdK 'SelAuto '[Nullable] (Maybe a) 'Prim)

primAs :: forall name a. KnownSymbol name => Dd ('DdK ('SelSymbol name) '[] a 'Prim)

array :: forall f a p sel. Dd ('DdK sel p a 'Prim) -> Dd ('DdK sel (ArrayColumn f ': p) (f a) 'Prim)

migrateDef :: forall s0 s1. MapMod (MigrationDefault (DdType s0)) s0 s1 => DdType s0 -> Dd s0 -> Dd s1

migrateRename :: forall name s0 s1. MapMod (MigrationRename name) s0 s1 => Dd s0 -> Dd s1

migrateRenameType :: forall name s0 s1. MapMod (MigrationRenameType name) s0 s1 => Dd s0 -> Dd s1

migrateDelete :: forall s0 s1. MapMod MigrationDelete s0 s1 => Dd s0 -> Dd s1

newtype Prims a s

Constructors

Prims

Fields

• unPrims :: NP Dd s

Instances

(a ~ b, CompColumn' meta ('Right 'SpecNP :: Either Void SpecType) fields a (NP Dd s0) s1) => CompColumn' meta ('Right 'SpecPrims :: Either Void SpecType) fields a (Prims b s0) s1

Defined in Sqel.Comp

Methods

compColumn' :: Prims b s0 -> NP Dd s1

Generic (Prims a s)

Defined in Sqel.Prim

Associated Types

type Rep (Prims a s) :: Type -> Type

Methods

from :: Prims a s -> Rep (Prims a s) x

to :: Rep (Prims a s) x -> Prims a s

type Rep (Prims a s)

Defined in Sqel.Prim

type Rep (Prims a s) = D1 ('MetaData "Prims" "Sqel.Prim" "sqel-0.0.1.0-5k4czMecwS553bFrfF1Jzu" 'True) (C1 ('MetaCons "Prims" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPrims") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NP Dd s))))

class MkPrims as s | as -> s where

Methods

mkPrims :: NP Dd s

Instances

MkPrims ('[] :: [k]) ('[] :: [DdK])

Defined in Sqel.Prim

Methods

mkPrims :: NP Dd '[]

MkPrims as s => MkPrims (a ': as :: [Type]) ('DdK 'SelAuto ('[] :: [Type]) a 'Prim ': s)

Defined in Sqel.Prim

Methods

mkPrims :: NP Dd ('DdK 'SelAuto '[] a 'Prim ': s)

type family PrimProd (a :: Type) :: [Type] where ...

Equations

PrimProd (ConCol _ _ _ as) = as

PrimProd a = ProductGCode a

prims :: forall (a :: Type) (s :: [DdK]). MkPrims (PrimProd a) s => Prims a s

class MkPrimNewtypes as s | as -> s where

Methods

mkPrimNewtypes :: NP Dd s

Instances

MkPrimNewtypes ('[] :: [k]) ('[] :: [DdK])

Defined in Sqel.Prim

Methods

mkPrimNewtypes :: NP Dd '[]

(MkPrimNewtypes as s, err ~ NewtypeError, UnwrapNewtype err a w) => MkPrimNewtypes (a ': as :: [Type]) ('DdK 'SelAuto '[Newtype a w] a 'Prim ': s)

Defined in Sqel.Prim

Methods

mkPrimNewtypes :: NP Dd ('DdK 'SelAuto '[Newtype a w] a 'Prim ': s)

primNewtypes :: forall (a :: Type) (s :: [DdK]). MkPrimNewtypes (PrimProd a) s => Prims a s