Type.Class.Partial

Documentation

class Partial

Nullary type class to mark partial functions, e.g. head.

Instances

Tag PartialTag => Partial

data PartialTag

Prefer partial. However, if you want to disable Partial wholesale, make an orphan instance of Tag for this type. NEVER put an instance of this in a library.

partial :: (Partial => a) -> a

Accept the possibility of partiality.