Database.Seakale.Types

data SeakaleError

class MonadSeakaleBase backend m

data Nat

type Zero

type One

type Two

type Three

type Four

type Five

type Six

type Seven

type Eight

type Nine

type Ten

type family (n :: Nat) :+ (m :: Nat) :: Nat

data Query

eqQuery

qappend

qappendZero

parenthesiseQuery

data RepeatQuery

formatQuery

formatMany

data Field backend

type Row backend

class Backend backend

data ColumnInfo backend

type QueryData n

data Vector

cons

(<:>)

nil

(<:|)

vappend

vzip

vectorToList

singleton

eqVector

class NTimes f

data Null