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 Eval Source # | |

FreeVector Show Source # | |

FreeVector Size Source # | |

SubL c FreeVector => FreeVector (Term c) Source # | |

FreeVector r => FreeVector (UnHOAS r) Source # | |

(Prod r, FreeVector r) => FreeVector (UnLiftEnv r) Source # | |

(Prod r, FreeVector r) => FreeVector (ImpW r) Source # | |

type SubLC c FreeVector 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