Data.Existential
type Cell
data Cell1 f constr
type Inst constr a
data Inst1 f constr a
type EntailsAll c0 c1
dictFunToEntails
entailsToDictFun
dict
class HasCell a b
makeCell
makeCell1
_Cell
_Cell'
_Cell1
_Cell1'
asCell
asCell1
asInst
asInst1
fromInst
inst
inst1
traverseCell
traverseCell'
traverseCell1
traverseCell1'
traverseInst
traverseInst1
mapCell
mapCell'
mapCell1
mapCell1'
mapInst
mapInst1
readCell1
readCell1'
readCell
readCell'
readInst
readInst1
apply2Cells
apply2Cells'
apply2Cells1
apply2Cells1'
map2Cells
map2Cells'
map2Cells1
map2Cells1'
read2CellsWith
read2CellsWith'
read2Cells1With
read2Cells1With'
read2CellsH
read2CellsH'
read2Cells1H
read2Cells1H'
cell1Equal
cell1Equal'
cellEqual
cellEqual'
cellZoomEqual'
cell1ZoomEqual'
cellCompare
cellCompare'
cell1Compare
cell1Compare'
cellLens
cellLens'
cell1Lens
cell1Lens'
rewriteCell
rewriteInst
spec
transEnt
ordEntailsEq
exArrow
arbitraryCell
arbitraryCell'
arbitraryInstanceOf
arbitraryInstanceOf'
onIdentity
prop_consistent_equal
prop_consistent_compare
run_tests