strict-containers-0.1.0.0: Various strict container types
Safe Haskell None
Language Haskell2010

Data.Maybe.Strict

Description

Strict version of the Maybe type.

Synopsis

Documentation

data StrictMaybe a Source #

Constructors

SNothing
SJust !a

Instances

Instances details
Monad StrictMaybe Source #
Instance details

Defined in Data.Maybe.Strict

Methods

(>>=) :: StrictMaybe a -> (a -> StrictMaybe b) -> StrictMaybe b Source #

(>>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b Source #

return :: a -> StrictMaybe a Source #

Functor StrictMaybe Source #
Instance details

Defined in Data.Maybe.Strict

Methods

fmap :: (a -> b) -> StrictMaybe a -> StrictMaybe b Source #

(<$) :: a -> StrictMaybe b -> StrictMaybe a Source #

MonadFail StrictMaybe Source #
Instance details

Defined in Data.Maybe.Strict

Methods

fail :: String -> StrictMaybe a Source #

Applicative StrictMaybe Source #
Instance details

Defined in Data.Maybe.Strict

Methods

pure :: a -> StrictMaybe a Source #

(<*>) :: StrictMaybe (a -> b) -> StrictMaybe a -> StrictMaybe b Source #

liftA2 :: (a -> b -> c) -> StrictMaybe a -> StrictMaybe b -> StrictMaybe c Source #

(*>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b Source #

(<*) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe a Source #

Foldable StrictMaybe Source #
Instance details

Defined in Data.Maybe.Strict

Methods

fold :: Monoid m => StrictMaybe m -> m Source #

foldMap :: Monoid m => (a -> m) -> StrictMaybe a -> m Source #

foldMap' :: Monoid m => (a -> m) -> StrictMaybe a -> m Source #

foldr :: (a -> b -> b) -> b -> StrictMaybe a -> b Source #

foldr' :: (a -> b -> b) -> b -> StrictMaybe a -> b Source #

foldl :: (b -> a -> b) -> b -> StrictMaybe a -> b Source #

foldl' :: (b -> a -> b) -> b -> StrictMaybe a -> b Source #

foldr1 :: (a -> a -> a) -> StrictMaybe a -> a Source #

foldl1 :: (a -> a -> a) -> StrictMaybe a -> a Source #

toList :: StrictMaybe a -> [a] Source #

null :: StrictMaybe a -> Bool Source #

length :: StrictMaybe a -> Int Source #

elem :: Eq a => a -> StrictMaybe a -> Bool Source #

maximum :: Ord a => StrictMaybe a -> a Source #

minimum :: Ord a => StrictMaybe a -> a Source #

sum :: Num a => StrictMaybe a -> a Source #

product :: Num a => StrictMaybe a -> a Source #

Traversable StrictMaybe Source #
Instance details

Defined in Data.Maybe.Strict

Methods

traverse :: Applicative f => (a -> f b) -> StrictMaybe a -> f ( StrictMaybe b) Source #

sequenceA :: Applicative f => StrictMaybe (f a) -> f ( StrictMaybe a) Source #

mapM :: Monad m => (a -> m b) -> StrictMaybe a -> m ( StrictMaybe b) Source #

sequence :: Monad m => StrictMaybe (m a) -> m ( StrictMaybe a) Source #

Eq a => Eq ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

(==) :: StrictMaybe a -> StrictMaybe a -> Bool Source #

(/=) :: StrictMaybe a -> StrictMaybe a -> Bool Source #

Ord a => Ord ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

compare :: StrictMaybe a -> StrictMaybe a -> Ordering Source #

(<) :: StrictMaybe a -> StrictMaybe a -> Bool Source #

(<=) :: StrictMaybe a -> StrictMaybe a -> Bool Source #

(>) :: StrictMaybe a -> StrictMaybe a -> Bool Source #

(>=) :: StrictMaybe a -> StrictMaybe a -> Bool Source #

max :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source #

min :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source #

Show a => Show ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

showsPrec :: Int -> StrictMaybe a -> ShowS Source #

show :: StrictMaybe a -> String Source #

showList :: [ StrictMaybe a] -> ShowS Source #

Generic ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Associated Types

type Rep ( StrictMaybe a) :: Type -> Type Source #

Methods

from :: StrictMaybe a -> Rep ( StrictMaybe a) x Source #

to :: Rep ( StrictMaybe a) x -> StrictMaybe a Source #

ToJSON a => ToJSON ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

toJSON :: StrictMaybe a -> Value Source #

toEncoding :: StrictMaybe a -> Encoding Source #

toJSONList :: [ StrictMaybe a] -> Value Source #

toEncodingList :: [ StrictMaybe a] -> Encoding Source #

FromJSON a => FromJSON ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

parseJSON :: Value -> Parser ( StrictMaybe a) Source #

parseJSONList :: Value -> Parser [ StrictMaybe a] Source #

ToCBOR a => ToCBOR ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

toCBOR :: StrictMaybe a -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( StrictMaybe a) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ StrictMaybe a] -> Size Source #

FromCBOR a => FromCBOR ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

fromCBOR :: Decoder s ( StrictMaybe a) Source #

label :: Proxy ( StrictMaybe a) -> Text Source #

NFData a => NFData ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

rnf :: StrictMaybe a -> () Source #

Default ( StrictMaybe t) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

def :: StrictMaybe t Source #

NoThunks a => NoThunks ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

Methods

noThunks :: Context -> StrictMaybe a -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> StrictMaybe a -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( StrictMaybe a) -> String Source #

type Rep ( StrictMaybe a) Source #
Instance details

Defined in Data.Maybe.Strict

type Rep ( StrictMaybe a) = D1 (' MetaData "StrictMaybe" "Data.Maybe.Strict" "strict-containers-0.1.0.0-LCiCzdIbvA0LutM86eIzNe" ' False ) ( C1 (' MetaCons "SNothing" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "SJust" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 a)))

Conversion: StrictMaybe -- Maybe

strictMaybeToMaybe :: StrictMaybe a -> Maybe a Source #

maybeToStrictMaybe :: Maybe a -> StrictMaybe a Source #

Accessing the underlying value

fromSMaybe :: a -> StrictMaybe a -> a Source #

Same as fromMaybe

isSNothing :: StrictMaybe a -> Bool Source #

Same as isNothing

isSJust :: StrictMaybe a -> Bool Source #

Same as isJust

strictMaybe :: a -> (b -> a) -> StrictMaybe b -> a Source #

Same as maybe