Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
newtype Lan (t :: * -> *) (u :: * -> *) (b :: *) (a :: *) Source #
Instances
Contravariant (Lan t u b) Source # | |
Defined in Pandora.Paradigm.Junction.Kan |
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
newtype Lan (t :: * -> *) (u :: * -> *) (b :: *) (a :: *) Source #
Contravariant (Lan t u b) Source # | |
Defined in Pandora.Paradigm.Junction.Kan |