DDF.Option

Documentation

class DBI r => Option r where

Minimal complete definition

nothing, just, optionMatch

Methods

nothing :: r h (Maybe a)

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

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

Instances

Option Eval

Methods

nothing :: Eval h (Maybe a)

just :: Eval h (a -> Maybe a)

optionMatch :: Eval h (b -> (a -> b) -> Maybe a -> b)

Option Show

Methods

nothing :: Show h (Maybe a)

just :: Show h (a -> Maybe a)

optionMatch :: Show h (b -> (a -> b) -> Maybe a -> b)

Option Size

Methods

nothing :: Size h (Maybe a)

just :: Size h (a -> Maybe a)

optionMatch :: Size h (b -> (a -> b) -> Maybe a -> b)

SubL c Option => Option (Term c)

Methods

nothing :: Term c h (Maybe a)

just :: Term c h (a -> Maybe a)

optionMatch :: Term c h (b -> (a -> b) -> Maybe a -> b)

Option r => Option (UnHOAS r)

Methods

nothing :: UnHOAS r h (Maybe a)

just :: UnHOAS r h (a -> Maybe a)

optionMatch :: UnHOAS r h (b -> (a -> b) -> Maybe a -> b)

(Prod r, Option r) => Option (UnLiftEnv r)

Methods

nothing :: UnLiftEnv r h (Maybe a)

just :: UnLiftEnv r h (a -> Maybe a)

optionMatch :: UnLiftEnv r h (b -> (a -> b) -> Maybe a -> b)

(Prod r, Option r) => Option (ImpW r)

Methods

nothing :: ImpW r h (Maybe a)

just :: ImpW r h (a -> Maybe a)

optionMatch :: ImpW r h (b -> (a -> b) -> Maybe a -> b)

type SubLC c Option

type SubLC c Option = SubL c DBI

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

module DDF.DBI