Safe Haskell	Safe-Inferred
Language	GHC2021

Singleraeh.Maybe

Synopsis

data SMaybe sa (ma :: Maybe a) where
- SJust :: sa a -> SMaybe sa (Just a)
- SNothing :: SMaybe sa Nothing
demoteSMaybe :: forall da sa ma. (forall a. sa a -> da) -> SMaybe sa ma -> Maybe da

Documentation

data SMaybe sa (ma :: Maybe a) where Source #

Singleton Maybe.

Constructors

SJust :: sa a -> SMaybe sa (Just a)
SNothing :: SMaybe sa Nothing

demoteSMaybe :: forall da sa ma. (forall a. sa a -> da) -> SMaybe sa ma -> Maybe da Source #