git.iko.soy/rel8
on 29cdfdb help sign in
rel8/tests/Rel8/Generic/Rel8able/Test.hs
179 lines 3.5 kB history raw
1{-# language DataKinds #-}
2{-# language DeriveAnyClass #-}
3{-# language DeriveGeneric #-}
4{-# language DerivingStrategies #-}
5{-# language DuplicateRecordFields #-}
6{-# language FlexibleInstances #-}
7{-# language MultiParamTypeClasses #-}
8{-# language TypeFamilies #-}
9{-# language UndecidableInstances #-}
11{-# options_ghc -O0 #-}
13module Rel8.Generic.Rel8able.Test
14 ( module Rel8.Generic.Rel8able.Test
15 )
16where
18-- base
19import GHC.Generics ( Generic )
20import Prelude
22-- rel8
23import Rel8
25-- text
26import Data.Text ( Text )
29data TableTest f = TableTest
30 { foo :: Column f Bool
31 , bar :: Column f (Maybe Bool)
32 }
33 deriving stock Generic
34 deriving anyclass Rel8able
37data TablePair f = TablePair
38 { foo :: Column f Bool
39 , bars :: (Column f Text, Column f Text)
40 }
41 deriving stock Generic
42 deriving anyclass Rel8able
45data TableMaybe f = TableMaybe
46 { foo :: Column f [Maybe Bool]
47 , bars :: HMaybe f (TablePair f, TablePair f)
48 }
49 deriving stock Generic
50 deriving anyclass Rel8able
53data TableEither f = TableEither
54 { foo :: Column f Bool
55 , bars :: HEither f (HMaybe f (TablePair f, TablePair f)) (Column f Char)
56 }
57 deriving stock Generic
58 deriving anyclass Rel8able
61data TableThese f = TableThese
62 { foo :: Column f Bool
63 , bars :: HThese f (TableMaybe f) (TableEither f)
64 }
65 deriving stock Generic
66 deriving anyclass Rel8able
69data TableList f = TableList
70 { foo :: Column f Bool
71 , bars :: HList f (TableThese f)
72 }
73 deriving stock Generic
74 deriving anyclass Rel8able
77data TableNonEmpty f = TableNonEmpty
78 { foo :: Column f Bool
79 , bars :: HNonEmpty f (TableList f, TableMaybe f)
80 }
81 deriving stock Generic
82 deriving anyclass Rel8able
85data TableNest f = TableNest
86 { foo :: Column f Bool
87 , bars :: HList f (HMaybe f (TablePair f))
88 }
89 deriving stock Generic
90 deriving anyclass Rel8able
93data S3Object = S3Object
94 { bucketName :: Text
95 , objectKey :: Text
96 }
97 deriving stock Generic
100instance x ~ HKD S3Object Expr => ToExprs x S3Object
103data HKDSum = HKDSumA Text | HKDSumB Bool Char | HKDSumC
104 deriving stock Generic
107instance x ~ HKD HKDSum Expr => ToExprs x HKDSum
110data HKDTest f = HKDTest
111 { s3Object :: Lift f S3Object
112 , hkdSum :: Lift f HKDSum
113 }
114 deriving stock Generic
115 deriving anyclass Rel8able
118data NonRecord f = NonRecord
119 (Column f Bool)
120 (Column f Char)
121 (Column f Char)
122 (Column f Char)
123 (Column f Char)
124 (Column f Char)
125 (Column f Char)
126 (Column f Char)
127 (Column f Char)
128 (Column f Char)
129 deriving stock Generic
130 deriving anyclass Rel8able
133data TableSum f
134 = TableSumA (Column f Bool) (Column f Text)
135 | TableSumB
136 | TableSumC (Column f Text)
137 deriving stock Generic
140data BarbieSum f
141 = BarbieSumA (f Bool) (f Text)
142 | BarbieSumB
143 | BarbieSumC (f Text)
144 deriving stock Generic
147data TableProduct f = TableProduct
148 { sum :: HADT f BarbieSum
149 , list :: TableList f
150 , foos :: HList f (HADT f TableSum, Lift f HKDSum, HKDTest f)
151 }
152 deriving stock Generic
153 deriving anyclass Rel8able
156data TableTestB f = TableTestB
157 { foo :: f Bool
158 , bar :: f (Maybe Bool)
159 }
160 deriving stock Generic
161 deriving anyclass Rel8able
164data NestedTableTestB f = NestedTableTestB
165 { foo :: f Bool
166 , bar :: f (Maybe Bool)
167 , baz :: Column f Char
168 , nest :: TableTestB f
169 }
170 deriving stock Generic
171 deriving anyclass Rel8able
175newtype IdRecord a f = IdRecord { recordId :: Column f a }
176 deriving stock Generic
179instance DBType a => Rel8able (IdRecord a)