Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class DBI r => FreeVector r where Source #
freeVector :: r h ((b -> d) -> FreeVector b d) Source #
runFreeVector :: r h (FreeVector b d -> b -> d) Source #
FreeVector Show Source # | |
FreeVector Size Source # | |
FreeVector UInt Source # | |
(Prod r, FreeVector r) => FreeVector (UnLiftEnv r) Source # | |
freeVector1 :: FreeVector r => r h (b -> d) -> r h (FreeVector b d) Source #
runFreeVector1 :: FreeVector r => r h (FreeVector b d) -> r h (b -> d) Source #
runFreeVector2 :: FreeVector r => r h (FreeVector a b) -> r h a -> r h b Source #
module DDF.DBI