Data.Repa.Scalar.Option

Option types are synonyms for Maybe a, Maybe (a, b) and so on, which are strict in the components.

Single component

data Option a

A strict Maybe type.

Constructors

Some !a

None

Instances

Eq a => Eq (Option a)

Ord a => Ord (Option a)

Show a => Show (Option a)

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

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

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

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

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

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

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

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

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

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

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

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

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.