ACME-0.0.0.1: Essential features

Safe HaskellSafe-Inferred
LanguageHaskell98

Acme.Unit

Synopsis

Documentation

class Unit t where Source

Generalized unit types

Methods

unit :: t Source

Instances

Unit () 
Unit t => Unit (Identity t) 
Unit u => Unit (t -> u) 
(Unit t, Unit u) => Unit (t, u) 
(Unit t, Unit u, Unit v) => Unit (t, u, v) 
(Unit t, Unit u, Unit v, Unit w) => Unit (t, u, v, w) 
(Unit t, Unit u, Unit v, Unit w, Unit x) => Unit (t, u, v, w, x)