git.iko.soy/rel8
on 8a441e6 help sign in
rel8/src/Rel8/Type/Num.hs
43 lines 864 B history raw
1{-# language DataKinds #-}
2{-# language StandaloneKindSignatures #-}
3{-# language TypeFamilies #-}
5module Rel8.Type.Num
6 ( DBNum, DBIntegral, DBFractional
7 )
8where
10-- base
11import Data.Int ( Int16, Int32, Int64 )
12import Data.Kind ( Constraint, Type )
13import Prelude
15-- rel8
16import Rel8.Type ( DBType )
18-- scientific
19import Data.Scientific ( Scientific )
22type DBNum :: Type -> Constraint
23class DBType a => DBNum a
24instance DBNum Int16
25instance DBNum Int32
26instance DBNum Int64
27instance DBNum Float
28instance DBNum Double
29instance DBNum Scientific
32type DBIntegral :: Type -> Constraint
33class DBNum a => DBIntegral a
34instance DBIntegral Int16
35instance DBIntegral Int32
36instance DBIntegral Int64
39type DBFractional :: Type -> Constraint
40class DBNum a => DBFractional a
41instance DBFractional Float
42instance DBFractional Double
43instance DBFractional Scientific