Safe Haskell	Safe
Language	Haskell2010

DDF.Option

Documentation

class DBI r => Option r where Source #

Minimal complete definition

nothing, just, optionMatch

Methods

nothing :: r h (Maybe a) Source #

just :: r h (a -> Maybe a) Source #

optionMatch :: r h (b -> (a -> b) -> Maybe a -> b) Source #

Instances

Option Eval Source #
Methods nothing :: Eval h (Maybe a) Source # just :: Eval h (a -> Maybe a) Source # optionMatch :: Eval h (b -> (a -> b) -> Maybe a -> b) Source #
Option Show Source #
Methods nothing :: Show h (Maybe a) Source # just :: Show h (a -> Maybe a) Source # optionMatch :: Show h (b -> (a -> b) -> Maybe a -> b) Source #
Option Size Source #
Methods nothing :: Size h (Maybe a) Source # just :: Size h (a -> Maybe a) Source # optionMatch :: Size h (b -> (a -> b) -> Maybe a -> b) Source #
Option UInt Source #
Methods nothing :: UInt h (Maybe a) Source # just :: UInt h (a -> Maybe a) Source # optionMatch :: UInt h (b -> (a -> b) -> Maybe a -> b) Source #
SubL c Option => Option (Term c) Source #
Methods nothing :: Term c h (Maybe a) Source # just :: Term c h (a -> Maybe a) Source # optionMatch :: Term c h (b -> (a -> b) -> Maybe a -> b) Source #
Option r => Option (UnHOAS r) Source #
Methods nothing :: UnHOAS r h (Maybe a) Source # just :: UnHOAS r h (a -> Maybe a) Source # optionMatch :: UnHOAS r h (b -> (a -> b) -> Maybe a -> b) Source #
(Prod r, Option r) => Option (UnLiftEnv r) Source #
Methods nothing :: UnLiftEnv r h (Maybe a) Source # just :: UnLiftEnv r h (a -> Maybe a) Source # optionMatch :: UnLiftEnv r h (b -> (a -> b) -> Maybe a -> b) Source #
(Prod r, Option r) => Option (ImpW r) Source #
Methods nothing :: ImpW r h (Maybe a) Source # just :: ImpW r h (a -> Maybe a) Source # optionMatch :: ImpW r h (b -> (a -> b) -> Maybe a -> b) Source #
type SubLC c Option Source #
type SubLC c Option = SubL c DBI

just1 :: Option r => r h a -> r h (Maybe a) Source #

module DDF.DBI