Safe Haskell	None
Language	Haskell2010

Enumerate.Function.Types

Synopsis

Documentation

see "Enumerate.Function.Reify.getJectivityM"

Constructors

type Partial a b = forall m. MonadThrow m => a -> m b Source

a (safely-)partial function. i.e. a function that:

Bounded Jectivity Source
Enum Jectivity Source
Eq Jectivity Source
Data Jectivity Source
Ord Jectivity Source
Read Jectivity Source
Show Jectivity Source
Ix Jectivity Source
Generic Jectivity Source
NFData Jectivity Source
Enumerable Jectivity Source
type Rep Jectivity Source