cardano-strict-containers-0.1.4.0: Various strict container types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Maybe.Strict

Description

Strict version of the Maybe type.

Synopsis

Documentation

data StrictMaybe a Source #

Constructors

SNothing 
SJust !a 

Instances

Instances details
MonadFail StrictMaybe Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

fail ∷ String → 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 #

Alternative StrictMaybe Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

empty ∷ StrictMaybe a Source #

(<|>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a Source #

some ∷ StrictMaybe a → StrictMaybe [a] Source #

many ∷ StrictMaybe a → 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 #

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 #

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 #

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 #

omittedField ∷ Maybe (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 #

omitField ∷ StrictMaybe a → Bool Source #

Semigroup a ⇒ Monoid (StrictMaybe a) Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

mempty ∷ StrictMaybe a Source #

mappend ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a Source #

mconcat ∷ [StrictMaybe a] → StrictMaybe a Source #

Semigroup a ⇒ Semigroup (StrictMaybe a) Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

(<>) ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a Source #

sconcat ∷ NonEmpty (StrictMaybe a) → StrictMaybe a Source #

stimes ∷ Integral b ⇒ b → StrictMaybe a → StrictMaybe a 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 #

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 #

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 #

ToCBOR a ⇒ ToCBOR (StrictMaybe a) Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

toCBOR ∷ StrictMaybe a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #

Default (StrictMaybe t) Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

def ∷ StrictMaybe t Source #

NFData a ⇒ NFData (StrictMaybe a) Source # 
Instance details

Defined in Data.Maybe.Strict

Methods

rnf ∷ 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 #

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" "cardano-strict-containers-0.1.4.0-inplace" '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