Data.Repa.Option

Data types used during low-level fusion optimisations.

These types are synonyms for Maybe (a, b), which are strict in the components. They can be used to ensure that we do not suspend the computation that produces these components in fused code.

Single component

data Option a

A strict Maybe type.

Constructors

Some !a

None

Instances

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

(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

(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.