Copyright | (c) Eduard Sergeev 2013 |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | eduard.sergeev@gmail.com |
Stability | experimental |
Portability | non-portable (multi-param classes, functional dependencies) |
Safe Haskell | Safe |
Language | Haskell2010 |
Data.MaybeLike
Description
Defines MaybeLike typeclass - a generic way to look at some types as if they were Maybe
It is currently used to add maybe-ness to unboxed
primitive types
in cases when it isn't possuble to just use `Maybe a` (e.g. unboxed arrays)
Documentation
class MaybeLike a v | a -> v where Source #
An abstract interface to a type which may not have a value
Instances
MaybeLike Char Char Source # | |
MaybeLike Double Double Source # | |
MaybeLike Float Float Source # | |
MaybeLike Int Int Source # | |
MaybeLike Int8 Int8 Source # | |
MaybeLike Int16 Int16 Source # | |
MaybeLike Int32 Int32 Source # | |
MaybeLike Int64 Int64 Source # | |
MaybeLike Word Word Source # | |
MaybeLike Word8 Word8 Source # | |
MaybeLike Word16 Word16 Source # | |
MaybeLike Word32 Word32 Source # | |
MaybeLike Word64 Word64 Source # | |
MaybeLike (Maybe a) a Source # | |