Portability | non-portable (GHC Extensions) |
---|---|
Stability | experimental |
Maintainer | Tom Hvitved <hvitved@diku.dk> |
Safe Haskell | Safe-Infered |
This module defines difunctors (Meijer, Hutton, FPCA '95), i.e. binary type constructors that are contravariant in the first argument and covariant in the second argument.
Documentation
This class represents difunctors, i.e. binary type constructors that are contravariant in the first argument and covariant in the second argument.