Data.MaybeLike

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

An abstract interface to a type which may not have a value

Methods

nothing :: a

isNothing :: a -> Bool

just :: v -> a

fromJust :: a -> v

Instances

MaybeLike Char Char

MaybeLike Double Double

MaybeLike Float Float

MaybeLike Int Int

MaybeLike Int8 Int8

MaybeLike Int16 Int16

MaybeLike Int32 Int32

MaybeLike Int64 Int64

MaybeLike Word Word

MaybeLike Word8 Word8

MaybeLike Word16 Word16

MaybeLike Word32 Word32

MaybeLike Word64 Word64

MaybeLike (Maybe a) a