src/Rel8/Type/String.hs · rel8

on 83edc03 help sign in

rel8/src/Rel8/Type/String.hs

35 lines 723 B history raw

1{-# language FlexibleInstances #-}

2{-# language StandaloneKindSignatures #-}

4module Rel8.Type.String

5 ( DBString

6 )

7where

9-- base

10import Data.Kind ( Constraint, Type )

11import Prelude ()

13-- bytestring

14import Data.ByteString ( ByteString )

15import qualified Data.ByteString.Lazy as Lazy ( ByteString )

17-- case-insensitive

18import Data.CaseInsensitive ( CI )

20-- rel8

21import Rel8.Type ( DBType )

23-- text

24import Data.Text ( Text )

25import qualified Data.Text.Lazy as Lazy ( Text )

28type DBString :: Type -> Constraint

29class DBType a => DBString a

30instance DBString Text

31instance DBString Lazy.Text

32instance DBString (CI Text)

33instance DBString (CI Lazy.Text)

34instance DBString ByteString

35instance DBString Lazy.ByteString