src/Rel8/Schema/Nullability.hs · rel8

on 28aaa76 help sign in

rel8/src/Rel8/Schema/Nullability.hs

22 lines 480 B history raw

1{-# language ConstraintKinds #-}

2{-# language FlexibleInstances #-}

3{-# language MonoLocalBinds #-}

4{-# language MultiParamTypeClasses #-}

5{-# language UndecidableInstances #-}

7{-# options_ghc -fno-warn-orphans #-}

9module Rel8.Schema.Nullability

10 ( module Rel8.Schema.Nullability.Internal

11 )

12where

14-- base

15import Prelude ()

17-- rel8

18import Rel8.Opaque ( Opaque )

19import Rel8.Schema.Nullability.Internal

22instance {-# OVERLAPPING #-} (c Opaque, Sql c Opaque) => Sql c Opaque