Data.Repa.Scalar.Option

Option types are similar to Maybe a, Maybe (a, b) and so on, except they are directly unpacked into the constructor and are strict in each component.

Single component

data Option a

A strict Maybe type.

Constructors

Some !a

None

Instances

Functor Option

Methods

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

(<$) :: a -> Option b -> 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

fromOption :: Option a -> Maybe a

Convert an Option to a Maybe.

toOption :: Maybe a -> Option a

Convert a Maybe to an Option.

Two components

data Option2 a b

A strict Maybe type, with two parameters.

Constructors

Some2 !a !b

None2

Instances

Functor (Option2 a)

Methods

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

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

(Eq b, Eq a) => Eq (Option2 a b)

Methods

(==) :: Option2 a b -> Option2 a b -> Bool

(/=) :: Option2 a b -> Option2 a b -> Bool

(Ord b, Ord a) => Ord (Option2 a b)

Methods

compare :: Option2 a b -> Option2 a b -> Ordering

(<) :: Option2 a b -> Option2 a b -> Bool

(<=) :: Option2 a b -> Option2 a b -> Bool

(>) :: Option2 a b -> Option2 a b -> Bool

(>=) :: Option2 a b -> Option2 a b -> Bool

max :: Option2 a b -> Option2 a b -> Option2 a b

min :: Option2 a b -> Option2 a b -> Option2 a b

(Show b, Show a) => Show (Option2 a b)

Methods

showsPrec :: Int -> Option2 a b -> ShowS

show :: Option2 a b -> String

showList :: [Option2 a b] -> ShowS

fromOption2 :: Option2 a b -> Maybe (a, b)

Convert an Option2 to a Maybe.

toOption2 :: Maybe (a, b) -> Option2 a b

Convert a Maybe to an Option2.

Three components

data Option3 a b c

A strict Maybe type with three parameters.

Constructors

Some3 !a !b !c

None3

Instances

Functor (Option3 a b)

Methods

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

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

(Eq c, Eq b, Eq a) => Eq (Option3 a b c)

Methods

(==) :: Option3 a b c -> Option3 a b c -> Bool

(/=) :: Option3 a b c -> Option3 a b c -> Bool

(Ord c, Ord b, Ord a) => Ord (Option3 a b c)

Methods

compare :: Option3 a b c -> Option3 a b c -> Ordering

(<) :: Option3 a b c -> Option3 a b c -> Bool

(<=) :: Option3 a b c -> Option3 a b c -> Bool

(>) :: Option3 a b c -> Option3 a b c -> Bool

(>=) :: Option3 a b c -> Option3 a b c -> Bool

max :: Option3 a b c -> Option3 a b c -> Option3 a b c

min :: Option3 a b c -> Option3 a b c -> Option3 a b c

(Show c, Show b, Show a) => Show (Option3 a b c)

Methods

showsPrec :: Int -> Option3 a b c -> ShowS

show :: Option3 a b c -> String

showList :: [Option3 a b c] -> ShowS

fromOption3 :: Option3 a b c -> Maybe (a, b, c)

Convert an Option2 to a Maybe.

toOption3 :: Maybe (a, b, c) -> Option3 a b c

Convert a Maybe to an Option3.

Four components

data Option4 a b c d

A strict Maybe type with four parameters.

Constructors

Some4 !a !b !c !d

None4

Instances

Functor (Option4 a b c)

Methods

fmap :: (a -> b) -> Option4 a b c a -> Option4 a b c b

(<$) :: a -> Option4 a b c b -> Option4 a b c a

(Eq d, Eq c, Eq b, Eq a) => Eq (Option4 a b c d)

Methods

(==) :: Option4 a b c d -> Option4 a b c d -> Bool

(/=) :: Option4 a b c d -> Option4 a b c d -> Bool

(Ord d, Ord c, Ord b, Ord a) => Ord (Option4 a b c d)

Methods

compare :: Option4 a b c d -> Option4 a b c d -> Ordering

(<) :: Option4 a b c d -> Option4 a b c d -> Bool

(<=) :: Option4 a b c d -> Option4 a b c d -> Bool

(>) :: Option4 a b c d -> Option4 a b c d -> Bool

(>=) :: Option4 a b c d -> Option4 a b c d -> Bool

max :: Option4 a b c d -> Option4 a b c d -> Option4 a b c d

min :: Option4 a b c d -> Option4 a b c d -> Option4 a b c d

(Show d, Show c, Show b, Show a) => Show (Option4 a b c d)

Methods

showsPrec :: Int -> Option4 a b c d -> ShowS

show :: Option4 a b c d -> String

showList :: [Option4 a b c d] -> ShowS

fromOption4 :: Option4 a b c d -> Maybe (a, b, c, d)

Convert an Option2 to a Maybe.

toOption4 :: Maybe (a, b, c, d) -> Option4 a b c d

Convert a Maybe to an Option4.