Data.MaybeLike (original) (raw)

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)

Synopsis

• class MaybeLike a v | a -> v where
  • nothing :: a
  • isNothing :: a -> Bool
  • just :: v -> a
  • fromJust :: a -> v

Documentation

class MaybeLike a v | a -> v whereSource

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