Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
The data type of kinds
everywhereOnKindsM :: (Functor m, Applicative m, Monad m) => (Kind -> m Kind) -> Kind -> m Kind Source
everythingOnKinds :: (r -> r -> r) -> (Kind -> r) -> Kind -> r Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
The data type of kinds
everywhereOnKindsM :: (Functor m, Applicative m, Monad m) => (Kind -> m Kind) -> Kind -> m Kind Source
everythingOnKinds :: (r -> r -> r) -> (Kind -> r) -> Kind -> r Source