container-1.0.1: Containers abstraction and utilities.

Safe HaskellNone
LanguageHaskell2010

Data.Container.Poly

Documentation

type family Ixed op :: k Source

Equations

Ixed (op (ms :: [*]) (ps :: [*])) = op (Ixed : ms) ps 
Ixed (op (ms :: [*]) (ps :: [*]) (m :: * -> *)) = op (Ixed : ms) ps m 

type Simple t = t `[]` `[]` Source