Documentation

type Atom v (nm :: Symbol) = Atom 1 v nm Source #

type List v (nm :: Symbol) = List 1 v nm Source #

type Image v (nm :: Symbol) = Image 1 v nm Source #

type AtomNoName v = AtomNoName 1 v Source #

type ListNoName v = ListNoName 1 v Source #

type ImageNoName v = ImageNoName 1 v Source #

type AtomMaybeName v (mnm :: Maybe Symbol) = AtomMaybeName 1 v mnm Source #

type ListMaybeName v (mnm :: Maybe Symbol) = ListMaybeName 1 v mnm Source #

type ImageMaybeName v (mnm :: Maybe Symbol) = ImageMaybeName 1 v mnm Source #