Safe Haskell | Safe |
---|---|
Language | Haskell98 |
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.
- data Option a
- fromOption :: Option a -> Maybe a
- toOption :: Maybe a -> Option a
- data Option2 a b
- fromOption2 :: Option2 a b -> Maybe (a, b)
- toOption2 :: Maybe (a, b) -> Option2 a b
- data Option3 a b c
- fromOption3 :: Option3 a b c -> Maybe (a, b, c)
- toOption3 :: Maybe (a, b, c) -> Option3 a b c
- data Option4 a b c d
- fromOption4 :: Option4 a b c d -> Maybe (a, b, c, d)
- toOption4 :: Maybe (a, b, c, d) -> Option4 a b c d