Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class DBI r => Option r where Source #
nothing :: r h (Maybe a) Source #
just :: r h (a -> Maybe a) Source #
optionMatch :: r h (b -> (a -> b) -> Maybe a -> b) Source #
Option Eval Source # | |
Option Show Source # | |
Option Size Source # | |
Option repr => Option (P repr) Source # | |
SubL c Option => Option (Term c) Source # | |
Option r => Option (UnHOAS r) Source # | |
(Prod r, Option r) => Option (UnLiftEnv r) Source # | |
(Prod r, Option r) => Option (ImpW r) Source # | |
type SubLC c Option Source # | |
module DDF.DBI