
  0 | module Data.Container.Base.Object.Definition
  1 | 
  2 | ||| Containers capture the idea that datatypes consist of groups of memory 
  3 | ||| locations where data can be stored. Locations for a particular group are 
  4 | ||| referred to as 'positions' and a particular group is referred to as a
  5 | ||| 'shape'.
  6 | public export
  7 | record Cont where
  8 |   constructor (!>)
  9 |   ||| A type of shapes
 10 |   Shp : Type
 11 |   ||| For each shape, a set of positions
 12 |   Pos : Shp -> Type
 13 | 
 14 | export typebind infixr 0 !>
 15 | 
 16 | %name Cont c, c', c''