Data.Option

Documentation

data Option a

Constructors

None

Some !a

Instances

Monad Option

Methods

(>>=) :: Option a -> (a -> Option b) -> Option b

(>>) :: Option a -> Option b -> Option b

return :: a -> Option a

fail :: String -> Option a

Functor Option

Methods

fmap :: (a -> b) -> Option a -> Option b

(<$) :: a -> Option b -> Option a

Applicative Option

Methods

pure :: a -> Option a

(<*>) :: Option (a -> b) -> Option a -> Option b

(*>) :: Option a -> Option b -> Option b

(<*) :: Option a -> Option b -> Option a

Alternative Option

Methods

empty :: Option a

(<|>) :: Option a -> Option a -> Option a

some :: Option a -> Option [a]

many :: Option a -> Option [a]

MonadPlus Option

Methods

mzero :: Option a

mplus :: Option a -> Option a -> Option a

Eq a => Eq (Option a)

Methods

(==) :: Option a -> Option a -> Bool

(/=) :: Option a -> Option a -> Bool

Ord a => Ord (Option a)

Methods

compare :: Option a -> Option a -> Ordering

(<) :: Option a -> Option a -> Bool

(<=) :: Option a -> Option a -> Bool

(>) :: Option a -> Option a -> Bool

(>=) :: Option a -> Option a -> Bool

max :: Option a -> Option a -> Option a

min :: Option a -> Option a -> Option a

Show a => Show (Option a)

Methods

showsPrec :: Int -> Option a -> ShowS

show :: Option a -> String

showList :: [Option a] -> ShowS

Generic (Option a)

Associated Types

type Rep (Option a) :: * -> *

Methods

from :: Option a -> Rep (Option a) x

to :: Rep (Option a) x -> Option a

Monoid a => Monoid (Option a)

Methods

mempty :: Option a

mappend :: Option a -> Option a -> Option a

mconcat :: [Option a] -> Option a

ToJSON a => ToJSON (Option a)

Methods

toJSON :: Option a -> Value

toEncoding :: Option a -> Encoding

FromJSON a => FromJSON (Option a)

Methods

parseJSON :: Value -> Parser (Option a)

NFData a => NFData (Option a)

Methods

rnf :: Option a -> ()

Store a => Store (Option a)

Methods

size :: Size (Option a)

poke :: Option a -> Poke ()

peek :: Peek (Option a)

type Rep (Option a)

type Rep (Option a) = D1 (MetaData "Option" "Data.Option" "strict-data-0.1.0.0-JAExjJ5Hbru1kMaKXpIuDy" False) ((:+:) (C1 (MetaCons "None" PrefixI False) U1) (C1 (MetaCons "Some" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a))))

optionToMaybe :: Option a -> Maybe a

maybeToOption :: Maybe a -> Option a