| Copyright | (c) 2016 Conal Elliott |
|---|---|
| License | BSD3 |
| Maintainer | conal@conal.net |
| Stability | experimental |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
ConCat.Sized
Description
Statically sized functors
Documentation
class Sized (f :: * -> *) where Source #
Instances
| Sized Par1 Source # | |
Defined in ConCat.Sized | |
| Sized Pair Source # | |
Defined in ConCat.Pair | |
| Sized (U1 :: Type -> Type) Source # | |
Defined in ConCat.Sized | |
| (Sized f, Sized g) => Sized (f :*: g) Source # | |
Defined in ConCat.Sized | |
| Sized (K1 i c :: Type -> Type) Source # | |
Defined in ConCat.Sized | |
| (Sized g, Sized f) => Sized (g :.: f) Source # | |
Defined in ConCat.Sized | |
| Sized f => Sized (M1 i c f) Source # | |
Defined in ConCat.Sized | |