Methods

fail ∷ String → StrictMaybe a #

Methods

fold ∷ Monoid m ⇒ StrictMaybe m → m #

foldMap ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m #

foldMap' ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m #

foldr ∷ (a → b → b) → b → StrictMaybe a → b #

foldr' ∷ (a → b → b) → b → StrictMaybe a → b #

foldl ∷ (b → a → b) → b → StrictMaybe a → b #

foldl' ∷ (b → a → b) → b → StrictMaybe a → b #

foldr1 ∷ (a → a → a) → StrictMaybe a → a #

foldl1 ∷ (a → a → a) → StrictMaybe a → a #

toList ∷ StrictMaybe a → [a] #

null ∷ StrictMaybe a → Bool #

length ∷ StrictMaybe a → Int #

elem ∷ Eq a ⇒ a → StrictMaybe a → Bool #

maximum ∷ Ord a ⇒ StrictMaybe a → a #

minimum ∷ Ord a ⇒ StrictMaybe a → a #

sum ∷ Num a ⇒ StrictMaybe a → a #

product ∷ Num a ⇒ StrictMaybe a → a #

Methods

liftEq ∷ (a → b → Bool) → StrictMaybe a → StrictMaybe b → Bool #

Methods

liftCompare ∷ (a → b → Ordering) → StrictMaybe a → StrictMaybe b → Ordering #

Methods

liftReadsPrec ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (StrictMaybe a) #

liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [StrictMaybe a] #

liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (StrictMaybe a) #

liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [StrictMaybe a] #

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → StrictMaybe a → ShowS #

liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [StrictMaybe a] → ShowS #

Methods

traverse ∷ Applicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) #

sequenceA ∷ Applicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) #

mapM ∷ Monad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) #

sequence ∷ Monad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #

Methods

empty ∷ StrictMaybe a #

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

some ∷ StrictMaybe a → StrictMaybe [a] #

many ∷ StrictMaybe a → StrictMaybe [a] #

Methods

pure ∷ a → StrictMaybe a #

(<*>) ∷ StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b #

liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c #

(*>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b #

(<*) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe a #

Methods

fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b #

(<$) ∷ a → StrictMaybe b → StrictMaybe a #

Methods

(>>=) ∷ StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b #

(>>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b #

return ∷ a → StrictMaybe a #

Methods

parseJSON ∷ Value → Parser (StrictMaybe a) Source #

parseJSONList ∷ Value → Parser [StrictMaybe a] Source #

omittedField ∷ Maybe (StrictMaybe a) Source #

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 #

Methods

mempty ∷ StrictMaybe a #

mappend ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

mconcat ∷ [StrictMaybe a] → StrictMaybe a #

Methods

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

sconcat ∷ NonEmpty (StrictMaybe a) → StrictMaybe a #

stimes ∷ Integral b ⇒ b → StrictMaybe a → StrictMaybe a #

Methods

from ∷ StrictMaybe a → Rep (StrictMaybe a) x #

to ∷ Rep (StrictMaybe a) x → StrictMaybe a #

Methods

readsPrec ∷ Int → ReadS (StrictMaybe a) #

readList ∷ ReadS [StrictMaybe a] #

readPrec ∷ ReadPrec (StrictMaybe a) #

readListPrec ∷ ReadPrec [StrictMaybe a] #

Methods

showsPrec ∷ Int → StrictMaybe a → ShowS #

show ∷ StrictMaybe a → String #

showList ∷ [StrictMaybe a] → ShowS #

Methods

fromCBOR ∷ Decoder s (StrictMaybe a) Source #

label ∷ Proxy (StrictMaybe a) → Text Source #

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 #

Methods

def ∷ StrictMaybe t Source #

Methods

rnf ∷ StrictMaybe a → () #

Methods

(==) ∷ StrictMaybe a → StrictMaybe a → Bool #

(/=) ∷ StrictMaybe a → StrictMaybe a → Bool #

Methods

compare ∷ StrictMaybe a → StrictMaybe a → Ordering #

(<) ∷ StrictMaybe a → StrictMaybe a → Bool #

(<=) ∷ StrictMaybe a → StrictMaybe a → Bool #

(>) ∷ StrictMaybe a → StrictMaybe a → Bool #

(>=) ∷ StrictMaybe a → StrictMaybe a → Bool #

max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #

Methods

noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (StrictMaybe a) → String Source #