edit-lenses-0.2: Symmetric, stateful edit lenses

Data.Container

Documentation

type family ShapeModule shape Source

class (V (ShapeModule shape) ~ shape, Module (ShapeModule shape), PartialOrd shape, Ord (P shape)) => ContainerType shape whereSource

Associated Types

type P shape Source

Methods

live :: shape -> Set (P shape)Source

Instances

data Container shape element Source

Constructors

Container 

Fields

currentShape :: shape
 
containedValues :: P shape -> element
 

Instances

(Default shape, Default element) => Default (Container shape element)