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

Defined in Data.Repa.Scalar.Option

Methods

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

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

Show a => Show (Option a)

Defined in Data.Repa.Scalar.Option

Methods

showsPrec :: Int -> Option a -> ShowS

show :: Option a -> String

showList :: [Option a] -> ShowS

Eq a => Eq (Option a)

Defined in Data.Repa.Scalar.Option

Methods

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

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

Ord a => Ord (Option a)

Defined in Data.Repa.Scalar.Option

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

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)

Defined in Data.Repa.Scalar.Option

Methods

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

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

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

Defined in Data.Repa.Scalar.Option

Methods

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

show :: Option2 a b -> String

showList :: [Option2 a b] -> ShowS

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

Defined in Data.Repa.Scalar.Option

Methods

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

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

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

Defined in Data.Repa.Scalar.Option

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

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)

Defined in Data.Repa.Scalar.Option

Methods

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

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

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

Defined in Data.Repa.Scalar.Option

Methods

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

show :: Option3 a b c -> String

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

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

Defined in Data.Repa.Scalar.Option

Methods

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

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

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

Defined in Data.Repa.Scalar.Option

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

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)

Defined in Data.Repa.Scalar.Option

Methods

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

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

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

Defined in Data.Repa.Scalar.Option

Methods

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

show :: Option4 a b c d -> String

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

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

Defined in Data.Repa.Scalar.Option

Methods

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

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

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

Defined in Data.Repa.Scalar.Option

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

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.