TAGS


./DrawingMeta/Base.hs,535
module Drawing.Base Drawing.Base2,3
class InSpace InSpace22,23
  sMap sMap23,24
instance {-# OVERLAPPING #-} InSpace InSpace [Float]26,27
  sMap sMap27,28
instance (I(InSpace b) => InSpace [b]29,30
  sMap sMap30,31
type Smplx Smplx37,38
type Drawing Drawing40,41
type Pt3D Pt3D43,44
data Renderable Renderable45,46
data Renderable = Point Point45,46
data Renderable = Point Pt3D | Line Line45,46
data Renderable = Point Pt3D | Line (Pt3D , Pt3D) | Triangle Triangle45,46
type Renderables Renderables47,48

./DrawingMeta/Example.hs,115
module Drawing.Example Drawing.Example0,1
square1 square17,8
square2 square221,22
example3d example3d49,50

./DrawingMeta/GL.hs,573
module Drawing.GL Drawing.GL0,1
data Descriptor Descriptor25,26
data Descriptor = Descriptor Descriptor25,26
bufferOffset bufferOffset33,34
brownish brownish36,37
asTuples asTuples39,40
asTruples asTruples43,44
mmHelp mmHelp47,48
quad2tris quad2tris55,56
oct2tris oct2tris59,60
groupPer3 groupPer371,72
drawing2vertex drawing2vertex75,76
initResources initResources128,129
resizeWindow resizeWindow257,258
keyPressed keyPressed268,269
shutdown shutdown274,275
showDrawing showDrawing282,283
main main302,303
onDisplay onDisplay318,319

./Setup.hs,15
main main1,2

./src/DrawExpr.hs,3909
module DrawExpr DrawExpr8,9
defaultCompPar defaultCompPar51,52
subFaceTrans subFaceTrans53,54
hcompDrawings hcompDrawings72,73
type CellPainter CellPainter84,85
sideTransform sideTransform90,91
sideTransformSF sideTransformSF95,96
cellTransformPA cellTransformPA106,107
cellTransform cellTransform111,112
collectAndOrient collectAndOrient116,117
collectAndOrientOnlyInterior collectAndOrientOnlyInterior119,120
fillCub fillCub128,129
class (Colorlike b , DiaDeg c , Extrudable b) => DrawingCtx DrawingCtx168,169
  fromCtx fromCtx174,175
  drawGenericTerm drawGenericTerm181,182
  drawD drawD186,187
  drawCellCommon drawCellCommon188,189
  drawCellPiece drawCellPiece192,193
  drawHole drawHole196,197
  cellStyleProcess cellStyleProcess199,200
  nodeStyleProcess nodeStyleProcess203,204
  cellPainter cellPainter207,208
  nodePainterCommon nodePainterCommon219,220
  drawAllCells drawAllCells226,227
  mkDrawCub mkDrawCub232,233
  fillStyleProcess fillStyleProcess243,244
  finalProcess finalProcess247,248
data DefaultPT DefaultPT253,254
data DefaultPT = DefaultPT DefaultPT253,254
data DefaultPT = DefaultPT { dptCursorAddress dptCursorAddress253,254
                           , dptShowFill dptShowFill254,255
                           , dptFillFactor dptFillFactor255,256
addTag addTag258,259
instance DrawingCtx DrawingCtx GCContext ColorType GCData DefaultPT261,262
  fromCtx fromCtx262,263
  drawGenericTerm drawGenericTerm263,264
  drawD drawD266,267
  drawHole drawHole268,269
  fillStyleProcess fillStyleProcess274,275
  nodeStyleProcess nodeStyleProcess279,280
  cellStyleProcess cellStyleProcess287,288
  drawCellCommon drawCellCommon299,300
  finalProcess finalProcess314,315
instance Shadelike Shadelike ColorType343,344
  toShade toShade344,345
data ScaffoldPT ScaffoldPT360,361
data ScaffoldPT = ScaffoldPTScaffoldPT360,361
  { sptDrawFillSkelet sptDrawFillSkelet361,362
  , sptCursorAddress sptCursorAddress362,363
  , sptScaffDim sptScaffDim363,364
  , sptMissingSubFaceCursor sptMissingSubFaceCursor364,365
instance DrawingCtx DrawingCtx (Env, Context) ColorType Int ScaffoldPT368,369
  fromCtx fromCtx369,370
  drawGenericTerm drawGenericTerm371,372
  drawD drawD373,374
  drawCellCommon drawCellCommon375,376
  fillStyleProcess fillStyleProcess385,386
data ConstraintsViewPT ConstraintsViewPT388,389
data ConstraintsViewPT a = ConstraintsViewPTConstraintsViewPT388,389
  { cvptDrawFillSkelet cvptDrawFillSkelet389,390
  , cvptCursorAddress cvptCursorAddress390,391
  , cvptScaffDim cvptScaffDim391,392
  , cvptCub cvptCub392,393
instance DrawingCtx DrawingCtx (Env, Context) ColorType Int (ConstraintsViewPT a)396,397
  fromCtx fromCtx397,398
  drawGenericTerm drawGenericTerm399,400
  drawD drawD401,402
  drawCellCommon drawCellCommon403,404
  nodePainterCommon nodePainterCommon420,421
  fillStyleProcess fillStyleProcess435,436
data CursorPT CursorPT437,438
data CursorPT = CursorPTCursorPT437,438
  { cptCursorAddress cptCursorAddress438,439
  , cptSecCursorAddress cptSecCursorAddress439,440
cursorDrw cursorDrw443,444
instance DrawingCtx DrawingCtx (Env, Context) ColorType Int CursorPT474,475
  fromCtx fromCtx475,476
  drawGenericTerm drawGenericTerm477,478
  drawD drawD479,480
  nodePainterCommon nodePainterCommon481,482
  drawCellCommon drawCellCommon486,487
  fillStyleProcess fillStyleProcess488,489
data ClickPoints ClickPoints493,494
data ClickPoints = ClickPointsClickPoints493,494
instance DrawingCtx DrawingCtx (Env, Context) (ColorType2 Address) Int ClickPoints497,498
  fromCtx fromCtx498,499
  drawGenericTerm drawGenericTerm500,501
  drawD drawD502,503
  nodePainterCommon nodePainterCommon504,505
  drawCellCommon drawCellCommon506,507
  fillStyleProcess fillStyleProcess510,511

./src/UI/UI.hs,3753
module UI.UI UI.UI0,1
data Env Env25,26
data Env = EnvEnv25,26
    { envEventsChan envEventsChan26,27
    , envWindow envWindow27,28
data State State30,31
data State uiState glDesc uiMsg = StateState30,31
    { stateWindowWidth stateWindowWidth31,32
    , stateWindowHeight stateWindowHeight32,33
    , stateLogEvents stateLogEvents33,34
    , stateMouseDown stateMouseDown34,35
    , stateDragging stateDragging35,36
    , stateDragStartX stateDragStartX36,37
    , stateDragStartY stateDragStartY37,38
    , stateUI stateUI38,39
    , stateGLDesc stateGLDesc39,40
    , stateMsgsQueue stateMsgsQueue40,41
    , statePressedKeys statePressedKeys41,42
data Event Event46,47
    EventError EventError47,48
  | EventWindowPos EventWindowPos48,49
  | EventWindowSize EventWindowSize49,50
  | EventWindowClose EventWindowClose50,51
  | EventWindowRefresh EventWindowRefresh51,52
  | EventWindowFocus EventWindowFocus52,53
  | EventWindowIconify EventWindowIconify53,54
  | EventFramebufferSize EventFramebufferSize54,55
  | EventMouseButton EventMouseButton55,56
  | EventCursorPos EventCursorPos56,57
  | EventCursorEnter EventCursorEnter57,58
  | EventScroll EventScroll58,59
  | EventKey EventKey59,60
  | EventChar EventChar60,61
type UI UI65,66
type UIWithInfo UIWithInfo67,68
data UIDesc UIDesc69,70
data UIDesc uiState glDesc uiMsg = UIDescriptionUIDescription69,70
  { uiDescInit uiDescInit70,71
  , uiDescRenderFrame uiDescRenderFrame72,73
  , uiDescUpdate uiDescUpdate73,74
  , uiListeners uiListeners74,75
  , uiUpdateGLDescriptor uiUpdateGLDescriptor75,76
main main79,80
withWindow withWindow150,151
errorCallback errorCallback174,175
windowPosCallback windowPosCallback175,176
windowSizeCallback windowSizeCallback176,177
windowCloseCallback windowCloseCallback177,178
windowRefreshCallback windowRefreshCallback178,179
windowFocusCallback windowFocusCallback179,180
windowIconifyCallback windowIconifyCallback180,181
framebufferSizeCallback framebufferSizeCallback181,182
mouseButtonCallback mouseButtonCallback182,183
cursorPosCallback cursorPosCallback183,184
cursorEnterCallback cursorEnterCallback184,185
scrollCallback scrollCallback185,186
keyCallback keyCallback186,187
charCallback charCallback187,188
errorCallback errorCallback189,190
windowPosCallback windowPosCallback190,191
windowSizeCallback windowSizeCallback191,192
windowCloseCallback windowCloseCallback192,193
windowRefreshCallback windowRefreshCallback193,194
windowFocusCallback windowFocusCallback194,195
windowIconifyCallback windowIconifyCallback195,196
framebufferSizeCallback framebufferSizeCallback196,197
mouseButtonCallback mouseButtonCallback197,198
cursorPosCallback cursorPosCallback198,199
cursorEnterCallback cursorEnterCallback199,200
scrollCallback scrollCallback200,201
keyCallback keyCallback201,202
charCallback charCallback202,203
modifyAppState modifyAppState206,207
getsAppState getsAppState210,211
getAppState getAppState214,215
setAppState setAppState218,219
sendMsg sendMsg222,223
runUI runUI227,228
run run232,233
flushDisplay flushDisplay310,311
processEvents processEvents314,315
processEvent processEvent329,330
pressedKeys pressedKeys423,424
adjustWindow adjustWindow426,427
getCursorKeyDirections getCursorKeyDirections462,463
getJoystickDirections getJoystickDirections474,475
isPress isPress481,482
printInstructions printInstructions488,489
printInformation printInformation502,503
type MonitorInfo MonitorInfo575,576
getMonitorInfos getMonitorInfos577,578
printEvent printEvent602,603
showModifierKeys showModifierKeys607,608
collect collect621,622

./src/Dep.hs,2154
module Dep Dep15,16
factorial factorial26,27
newtype Vecc Vecc37,38
mkVecc mkVecc40,41
data OfDimK OfDimK48,49
data OfDimK a = forall forall48,49
data OfDimU OfDimU50,51
data OfDimU a = forall forall50,51
getDim getDim52,53
emptyVecc emptyVecc55,56
consVecc consVecc58,59
toVeccU toVeccU62,63
newtype Permutation Permutation75,76
newtype Subset Subset78,79
newtype Face Face81,82
instance Show Show (Face n)84,85
  show show85,86
newtype SubFace SubFace87,88
class HasCard HasCard91,92
  cardinality cardinality92,93
class Gradable Gradable94,95
  grade grade96,97
newtype Graded Graded98,99
mkGraded mkGraded101,102
newtype GradedMap GradedMap113,114
mkGradedMap mkGradedMap115,116
instance KnownNat KnownNat a => HasCard (Permutation a)122,123
  cardinality cardinality123,124
instance KnownNat KnownNat a => HasCard (Subset a)125,126
  cardinality cardinality126,127
instance KnownNat KnownNat a => HasCard (Face a)128,129
  cardinality cardinality129,130
instance KnownNat KnownNat a => HasCard (SubFace a)131,132
  cardinality cardinality132,133
instance Gradable Gradable SubFace134,135
  grade grade135,136
instance KnownNat KnownNat n => Enum (Face n)137,138
  toEnum toEnum138,139
  fromEnum fromEnum139,140
instance (K(KnownNat n, HasCard (a n), Enum (a n)) => Bounded (a n)141,142
  minBound minBound142,143
  maxBound maxBound143,144
class Listable Listable148,149
  listAll listAll149,150
instance (E(Enum a, Bounded a) => Listable a152,153
  listAll listAll153,154
class SubFaceal SubFaceal156,157
  toSubFace toSubFace157,158
instance  SubFaceal SubFaceal (SubFace n) n159,160
  toSubFace toSubFace160,161
instance  SubFaceal SubFaceal (Face n) n162,163
  toSubFace toSubFace163,164
allF3 allF3173,174
ttt ttt177,178
grTest grTest179,180
data SSubFace SSubFace183,184
data SSubFace n (sf :: SubFace n) = SSubFace SSubFace183,184
instance SubFaceal SubFaceal (SSubFace n sf) n185,186
  toSubFace toSubFace186,187
data SSubFace' SSubFace'188,189
data SSubFace' n (sf :: SubFace n) = forall forall188,189
zz zz196,197

./src/Lib.hs,42
module LibLib0,1
someFunc someFunc4,5

./src/ShowExpOld.hs,34
module ShowExpOld ShowExpOld1,2

./src/Test.hs,153
module Test Test0,1
fn1 fn125,26
fn1' fn1'26,27
fn2 fn227,28
fn3 fn328,29
loadFile loadFile31,32
sfCohTest sfCohTest39,40
main main53,54

./src/Drawing/Color.hs,908
module Drawing.Color Drawing.Color2,3
data Color Color21,22
data Color = Rgba Rgba21,22
gray gray24,25
lighter lighter26,27
color2arr color2arr33,34
class Colorlike Colorlike35,36
  toColor toColor36,37
instance Colorlike Colorlike Color39,40
  toColor toColor40,41
instance Colorlike Colorlike a => Colorlike (b, a)43,44
  toColor toColor44,45
instance Colorlike Colorlike [Color]46,47
  toColor toColor47,48
instance Colorlike Colorlike ()50,51
  toColor toColor51,52
mod1 mod154,55
hsv hsv57,58
phiNumber phiNumber72,73
nthColor nthColor75,76
data Shade Shade79,80
   Shade Shade80,81
   Shade { shadeColor shadeColor80,81
         , shadeMode shadeMode81,82
class Shadelike Shadelike84,85
  toShade toShade85,86
instance Shadelike Shadelike Color91,92
  toShade toShade92,93
instance Shadelike Shadelike [Shade]103,104
  toShade toShade104,105

./src/Drawing/Base.hs,2716
module Drawing.Base Drawing.Base6,7
class InSpace InSpace36,37
  sMap sMap37,38
  scale scale39,40
  translate translate42,43
  scaleOrigin scaleOrigin45,46
instance {-# OVERLAPPING #-} InSpace InSpace [Float]48,49
  sMap sMap49,50
instance (I(InSpace b) => InSpace [b]51,52
  sMap sMap52,53
instance InSpace InSpace a => InSpace (a, b)54,55
  sMap sMap55,56
type Smplx Smplx63,64
type Drawing Drawing69,70
type DrawingGL DrawingGL71,72
type Pt3D Pt3D73,74
data Renderable Renderable76,77
data Renderable = Point Point76,77
data Renderable = Point Pt3D | Line Line76,77
data Renderable = Point Pt3D | Line (Pt3D , Pt3D) | Triangle Triangle76,77
type Renderables Renderables78,79
toRenderable toRenderable84,85
toRenderableForce toRenderableForce98,99
data DrawingInterpreter DrawingInterpreter102,103
  DrawingInterpreterDrawingInterpreter103,104
   { ifEmpty ifEmpty104,105
   , fromDrawing fromDrawing105,106
simplexDim simplexDim108,109
drawingDim drawingDim112,113
traceDim traceDim116,117
toRenderableDI toRenderableDI121,122
mapStyle mapStyle130,131
toRenderables toRenderables134,135
toRenderablesIgnore toRenderablesIgnore137,138
toRenderablesForce toRenderablesForce142,143
transposeDrw transposeDrw146,147
versor versor154,155
embed embed157,158
embedSF embedSF160,161
data ExtrudeMode ExtrudeMode170,171
data ExtrudeMode = Basic Basic170,171
data ExtrudeMode = Basic | ExtrudeLines ExtrudeLines170,171
data ExtrudeMode = Basic | ExtrudeLines | ExtrudePlanes ExtrudePlanes170,171
data ExtrudeMode = Basic | ExtrudeLines | ExtrudePlanes | MidpointsMidpoints170,171
extrudeBasicF extrudeBasicF172,173
extrudeLinesF extrudeLinesF184,185
extrudeMidpointsF extrudeMidpointsF204,205
extrudePlanesF extrudePlanesF210,211
extrudeF extrudeF215,216
class Extrudable Extrudable221,222
  extrudeMode extrudeMode222,223
  extrudeFPriv extrudeFPriv225,226
  extrude extrude228,229
instance Extrudable Extrudable ([String], Color)231,232
type MColor MColor233,234
instance Extrudable Extrudable ((a, ExtrudeMode), Color)235,236
  extrudeMode extrudeMode236,237
mapWithDim mapWithDim240,241
getSkel getSkel245,246
extrudeSkel extrudeSkel248,249
getPoints getPoints251,252
extrudeLines extrudeLines254,255
type ZDrawing ZDrawing260,261
type ColorType ColorType262,263
type ColorType2 ColorType2264,265
pieceHyperPlanes pieceHyperPlanes271,272
degen degen302,303
centerOf centerOf315,316
scaleRelToCenter scaleRelToCenter321,322
degenAll degenAll331,332
extrudeSeg extrudeSeg335,336
unitHyCube unitHyCube349,350
scaleCell scaleCell354,355
unitHyCubeSkel unitHyCubeSkel357,358

./src/Drawing/Example.hs,86
module Drawing.Example Drawing.Example0,1
ex1drw ex1drw15,16
ex2drw ex2drw24,25

./src/Drawing/GL.hs,1278
module Drawing.GL Drawing.GL0,1
data Descriptor Descriptor32,33
data Descriptor = DescriptorDescriptor32,33
  { dPrimitiveMode dPrimitiveMode33,34
  , dVertexArrayObject dVertexArrayObject34,35
  , dArrayIndex dArrayIndex35,36
  , dNumArrayIndices dNumArrayIndices36,37
  , dLineWidth dLineWidth37,38
data CombinedVertexData CombinedVertexData42,43
  CombinedVertexData CombinedVertexData43,44
  CombinedVertexData { pointVs pointVs43,44
  CombinedVertexData { pointVs :: [GLfloat] , lineVs lineVs43,44
  CombinedVertexData { pointVs :: [GLfloat] , lineVs :: [GLfloat] , triangleVs triangleVs43,44
emptyCVD emptyCVD45,46
defaultLineWidth defaultLineWidth48,49
perVert perVert50,51
elemsPerVert elemsPerVert54,55
renderables2CVD renderables2CVD56,57
type Descriptors Descriptors86,87
initResources initResources88,89
bufferOffset bufferOffset96,97
initTrianglesResources initTrianglesResources99,100
data Viewport Viewport178,179
data Viewport = ViewportViewport178,179
   { vpAlpha vpAlpha179,180
   , vpBeta vpBeta180,181
   , vpGamma vpGamma181,182
onDisplay onDisplay185,186
onDisplayAll onDisplayAll222,223
mouseToModel2d mouseToModel2d225,226
data RenderMode RenderMode268,269
data RenderMode = RawRaw268,269

./src/DrawData.hs,315
module DrawData DrawData0,1
data CSet CSet10,11
data CSet = CSet CSet10,11
data CSet = CSet (Inside) |  Degen Degen10,11
type Inside Inside15,16
type DContext DContext17,18
pickCornerOfExpr pickCornerOfExpr20,21
getCornerVarId getCornerVarId23,24
mapIncr mapIncr26,27
mkDContext mkDContext33,34

./src/InteractiveParseTests.hs,73
module InteractiveParseTests InteractiveParseTests0,1
main main12,13

./src/DataExtra.hs,1557
module DataExtra DataExtra3,4
tpl2arr tpl2arr16,17
trpl2arr trpl2arr17,18
range range19,20
punchOut punchOut21,22
punchIn punchIn26,27
punchInMany punchInMany31,32
punchOutMany punchOutMany35,36
rotate rotate39,40
rotateFrom rotateFrom43,44
rotateFromDir rotateFromDir49,50
explode explode54,55
mapHead mapHead63,64
listInsert listInsert67,68
listRemove listRemove72,73
listPopAt listPopAt77,78
tailAlways tailAlways82,83
transposeTuples transposeTuples86,87
mapBoth mapBoth88,89
average average91,92
halves halves95,96
evalNegFloat evalNegFloat100,101
xor xor104,105
negCompIf negCompIf108,109
pickFromPair pickFromPair113,114
dot2 dot2117,118
dot3 dot3121,122
dot4 dot4124,125
dot5 dot5127,128
dot6 dot6130,131
dot7 dot7133,134
curb curb137,138
look look145,146
mapToSet mapToSet151,152
addIfNotIn addIfNotIn155,156
data EnsureFoldResult EnsureFoldResult161,162
    EFREmptyEFREmpty162,163
  | EFREvery EFREvery163,164
  | EFRExceptionEFRException164,165
     { efreAllBefore efreAllBefore165,166
     , efreExceptionalElement efreExceptionalElement166,167
     , efreExceptionalValue efreExceptionalValue167,168
ensureFold ensureFold171,172
binsBy binsBy184,185
setMapMaybe setMapMaybe187,188
foldFL foldFL191,192
newtype DisjointFam DisjointFam196,197
newtype DisjointFam a = DisjointFam { disjointFam disjointFam196,197
disjointSetFamFold disjointSetFamFold198,199
maximumAlways maximumAlways207,208
pushUniq pushUniq211,212
safeZip safeZip215,216

./src/ExprTransform.hs,1435
module ExprTransform ExprTransform7,8
data ClearCellRegime ClearCellRegime36,37
    OnlyInteriorOnlyInterior37,38
  | WithFreeSubFacesWithFreeSubFaces38,39
data RemoveSideRegime RemoveSideRegime50,51
data RemoveSideRegime = RSRRemoveLeavesAlso RSRRemoveLeavesAlso50,51
data RemoveSideRegime = RSRRemoveLeavesAlso | RSRKeepLeavesRSRKeepLeaves50,51
data CubTransformation CubTransformation52,53
     ClearCell ClearCell53,54
   | SplitCell SplitCell54,55
   | FillHole FillHole55,56
   | RemoveSide RemoveSide56,57
   | AddSide AddSide57,58
data FillHoleConflict FillHoleConflict68,69
  FillHoleConflictFillHoleConflict69,70
  { fhcOuter fhcOuter70,71
  , fhcHoleCAddress fhcHoleCAddress71,72
  , fhcCandidate fhcCandidate72,73
  , fhcConflictingAddresses fhcConflictingAddresses73,74
data HoleConflictResolutionStrategy HoleConflictResolutionStrategy77,78
    ClearOutwardsClearOutwards78,79
  | ClearInwardsClearInwards79,80
  | InflateInwardsInflateInwards80,81
  | InflateOutwardsInflateOutwards81,82
data CubTransformationError CubTransformationError84,85
     CubTransformationError CubTransformationError85,86
   | CubTransformationConflict CubTransformationConflict86,87
instance Show Show CubTransformationError91,92
  show show92,93
fillHole fillHole101,102
applyTransform applyTransform151,152
splitOCub splitOCub212,213
resolveConflict resolveConflict222,223

./src/GenericCell.hs,597
module GenericCell GenericCell7,8
data GCData GCData49,50
data GCData = GCData GCData49,50
primitivePiece primitivePiece54,55
primitivePieceBd primitivePieceBd68,69
par1 par173,74
par2 par274,75
renderGCDSolid renderGCDSolid77,78
renderGCD renderGCD85,86
type GCContext GCContext95,96
type GCContextGenState GCContextGenState99,100
initialGCContextGenState initialGCContextGenState101,102
makeGCD makeGCD104,105
initGCContext initGCContext124,125
instance DiaDeg DiaDeg GCData133,134
  appNegs appNegs134,135
  appDiags appDiags136,137
  appPerm appPerm138,139

./src/ContextParser.hs,401
module ContextParser ContextParser4,5
parseDef parseDef26,27
parseDefs parseDefs36,37
parseContextRaw parseContextRaw44,45
parseDef2 parseDef249,50
parseContext parseContext72,73
cTypeParserDim0 cTypeParserDim081,82
sideExpr sideExpr96,97
cTypeParserId cTypeParserId98,99
cTypeParserPathP cTypeParserPathP137,138
cTypeParser0 cTypeParser0163,164
cTypeParser cTypeParser173,174

./src/Combi.hs,5720
module Combi Combi11,12
factorial factorial42,43
newtype Permutation Permutation53,54
instance Show Show Permutation56,57
  show show57,58
newtype Permutation2 Permutation259,60
data Subset Subset61,62
data Subset = Subset Subset61,62
allSubFaces allSubFaces65,66
data Face Face68,69
data Face = Face Face68,69
instance Show Show Face71,72
  show show72,73
data SubFace SubFace77,78
data SubFace = SubFace SubFace77,78
sfMissing sfMissing81,82
toFace toFace84,85
toSubFace toSubFace90,91
fullSF fullSF93,94
isFullSF isFullSF96,97
sf2map sf2map99,100
subFaceCodim subFaceCodim102,103
subFaceDimEmb subFaceDimEmb105,106
data Never Never108,109
data Never a = NeverNever108,109
class OfDim OfDim112,113
  getDim getDim113,114
  checkDim checkDim115,116
forget forget121,122
class Ord a => ListInterpretable ListInterpretable126,127
  cardLI cardLI127,128
  enumerate enumerate128,129
  unemerate unemerate129,130
  toListLI toListLI130,131
  fromListLI fromListLI131,132
  sizeLI sizeLI133,134
  genAllLIHelp genAllLIHelp136,137
  genAllLI genAllLI139,140
  checkUnEn checkUnEn143,144
  cardLi cardLi146,147
  mapOnAllLI mapOnAllLI149,150
  project project152,153
  projectSplit projectSplit155,156
  setOfAll setOfAll158,159
  rotateLI rotateLI161,162
instance OfDim OfDim SubFace164,165
  getDim getDim165,166
instance OfDim OfDim Face167,168
  getDim getDim168,169
instance OfDim OfDim Subset170,171
  getDim getDim171,172
instance OfDim OfDim Permutation173,174
  getDim getDim174,175
instance OfDim OfDim Piece176,177
  getDim getDim177,178
mapListIndexed mapListIndexed182,183
listPermute2 listPermute2186,187
listPermute listPermute189,190
updateAt updateAt193,194
invPerm invPerm198,199
instance ListInterpretable ListInterpretable Permutation Int201,202
  cardLI cardLI202,203
  enumerate enumerate204,205
  unemerate unemerate213,214
  toListLI toListLI225,226
  fromListLI fromListLI227,228
  projectSplit projectSplit230,231
  project project234,235
instance ListInterpretable ListInterpretable Subset Bool236,237
  cardLI cardLI237,238
  enumerate enumerate239,240
  unemerate unemerate245,246
  toListLI toListLI253,254
  fromListLI fromListLI255,256
instance ListInterpretable ListInterpretable SubFace (Maybe Bool)257,258
  cardLI cardLI258,259
  enumerate enumerate260,261
  unemerate unemerate270,271
  toListLI toListLI279,280
  fromListLI fromListLI281,282
instance Show Show SubFace283,284
  show show284,285
instance Show Show Subset292,293
  show show293,294
type PiecePiece296,297
instance ListInterpretable ListInterpretable Piece (Bool, Int)299,300
  cardLI cardLI300,301
  enumerate enumerate302,303
  unemerate unemerate308,309
  toListLI toListLI311,312
  fromListLI fromListLI313,314
  project project316,317
  projectSplit projectSplit318,319
instance ListInterpretable ListInterpretable Face (Maybe Bool)320,321
  cardLI cardLI322,323
  genAllLI genAllLI324,325
  enumerate enumerate326,327
  unemerate unemerate328,329
  toListLI toListLI330,331
  fromListLI fromListLI332,333
data FromLI FromLI338,339
data FromLI a c = FromLI FromLI338,339
instance OfDim OfDim (FromLI a c)340,341
  getDim getDim341,342
instance (L(ListInterpretable a b, Semigroup c) => Semigroup (FromLI a c)343,344
 (<(<>)344,345
evalLI evalLI350,351
appLI appLI354,355
fromLIppK fromLIppK362,363
toListFLI toListFLI365,366
fromListFLI fromListFLI368,369
toMapFLI toMapFLI372,373
fromMapFLI fromMapFLI375,376
keysSetMapFLI keysSetMapFLI378,379
fromMapFLIUnsafe fromMapFLIUnsafe382,383
mkFaceLI mkFaceLI385,386
instance Functor Functor (FromLI a)388,389
  fmap fmap389,390
instance (S(Show c, ListInterpretable a b) => (Show (FromLI a c))391,392
  show show392,393
showMbFLI showMbFLI394,395
instance (L(ListInterpretable a b) => Foldable (FromLI a)398,399
  foldMap foldMap399,400
instance (L(ListInterpretable a b) => Traversable (FromLI a)401,402
  traverse traverse402,403
traverseMapLI traverseMapLI404,405
traverseMap traverseMap408,409
traverseMapAndKeys traverseMapAndKeys418,419
whereJust whereJust423,424
intoRuns intoRuns431,432
fromRuns fromRuns442,443
makeAntiH makeAntiH451,452
makeAntiHKeys makeAntiHKeys454,455
makeAntiH2 makeAntiH2462,463
unconsSF unconsSF470,471
elimSubFaceSide elimSubFaceSide477,478
elimSubFaceSideLI elimSubFaceSideLI486,487
injFace injFace489,490
injSubFaceSafe injSubFaceSafe496,497
injSubFace injSubFace504,505
faceOfCylAtSide faceOfCylAtSide517,518
injCylEnd injCylEnd521,522
injCyl injCyl524,525
jniCyl' jniCyl'527,528
data JniCyl JniCyl534,535
data JniCyl = JCEnd JCEnd534,535
data JniCyl = JCEnd Bool SubFace | JCCyl JCCyl534,535
data DegenCase DegenCase536,537
data DegenCase = DCEnd DCEnd536,537
data DegenCase = DCEnd Bool SubFace | DCIns DCIns536,537
degenElim degenElim538,539
superSubFaces superSubFaces545,546
allSuperSubFaces allSuperSubFaces553,554
allSubSubFaces allSubSubFaces558,559
jniCyl jniCyl566,567
jniSubFaceMb jniSubFaceMb572,573
jniSubFace jniSubFace586,587
isSubFaceOf isSubFaceOf598,599
isProperSubFaceOf isProperSubFaceOf603,604
isIncludedIn isIncludedIn609,610
isProperlyIncludedIn isProperlyIncludedIn612,613
isCoveredIn isCoveredIn615,616
injFaceSide injFaceSide620,621
deleteButLeaveFaces deleteButLeaveFaces623,624
missingSubFaces missingSubFaces643,644
properlyCoveredSubFaces properlyCoveredSubFaces648,649
getCenter getCenter653,654
addSubFace addSubFace658,659
superFacesOutside superFacesOutside683,684

./src/ExprParser.hs,890
module ExprParser ExprParser10,11
changeState changeState38,39
parsecSnd parsecSnd54,55
implArg implArg57,58
notAbs notAbs60,61
faceAbs faceAbs63,64
abstT abstT73,74
abstr abstr87,88
agdaName agdaName100,101
varIdentifier varIdentifier102,103
iExprVar iExprVar112,113
iExpr3 iExpr3121,122
iExpr2 iExpr2128,129
iExpr1 iExpr1136,137
iExpr0 iExpr0147,148
iExpr iExpr158,159
iExprArg iExprArg163,164
var1 var1166,167
var0 var0180,181
var var183,184
typeP typeP186,187
levelP levelP189,190
partialPrimPOr partialPrimPOr193,194
everyP everyP211,212
partial0 partial0222,223
partialArg partialArg228,229
partial partial231,232
hcomp hcomp234,235
hole hole249,250
expr0 expr0254,255
expr expr257,258
exprArg exprArg260,261
pathAbstrExpr0 pathAbstrExpr0265,266
pathAbstrExprArg pathAbstrExprArg271,272
parseExpr parseExpr278,279

./src/Proc.hs,72
module Proc Proc0,1
mainProcTerm mainProcTerm25,26
main main39,40

./src/Syntax.hs,5961
module Syntax Syntax7,8
data IExpr IExpr46,47
data IExpr = IExpr IExpr46,47
instance Show Show IExpr49,50
  show show51,52
remapIExpr remapIExpr53,54
remapIExprDir remapIExprDir56,57
setSetElim setSetElim62,63
elimIExpr elimIExpr74,75
substIExpr substIExpr78,79
substIExpr' substIExpr'95,96
type SubFace2 SubFace2111,112
fcToSubFace2 fcToSubFace2113,114
sfToSubFace2 sfToSubFace2116,117
sf2ToSubFace sf2ToSubFace119,120
iExprToSubFace2 iExprToSubFace2124,125
iExprToSubFace iExprToSubFace136,137
subFace2ToIExpr subFace2ToIExpr150,151
subFaceToIExpr subFaceToIExpr156,157
substSubFace2 substSubFace2163,164
substSubFace substSubFace166,167
projIExpr projIExpr179,180
projIExpr' projIExpr'195,196
type FExpr FExpr214,215
type Face2 Face2216,217
faceToFace2 faceToFace2222,223
toFace2 toFace2225,226
face2ToSubFace2 face2ToSubFace2231,232
unsafeMin unsafeMin242,243
unsafeMax unsafeMax245,246
unsafeMaxOf unsafeMaxOf252,253
unsafeMinOf unsafeMinOf255,256
min min258,259
max max261,262
dim dim264,265
internalEnd internalEnd267,268
unsafeEnd unsafeEnd271,272
unsafeNeg unsafeNeg276,277
neg neg287,288
elimUnsafeIExpr elimUnsafeIExpr289,290
end end293,294
endView endView298,299
iFromL iFromL303,304
toSubFace2 toSubFace2346,347
type Partial Partial352,353
properlyCoveredSubFaces2 properlyCoveredSubFaces2354,355
partialWithSF partialWithSF364,365
ensurePartial ensurePartial389,390
partialEmpty partialEmpty396,397
partialConst partialConst399,400
primPOr primPOr402,403
data VarIndex VarIndex411,412
data VarIndex = VarIndex VarIndex411,412
data DimIndex DimIndex414,415
data DimIndex = DimIndex DimIndex414,415
varIndex varIndex418,419
type IArg IArg424,425
data Expr Expr433,434
  HComp HComp434,435
  | Var Var435,436
  | Hole Hole436,437
type LExpr LExpr439,440
data CellExpr CellExpr441,442
data CellExpr = CellExpr CellExpr441,442
iLam iLam445,446
remapIExpInExpr remapIExpInExpr448,449
arityForceRepair arityForceRepair464,465
multMapKey multMapKey498,499
substIVars substIVars507,508
exprFaces exprFaces539,540
exprSubFaces exprSubFaces548,549
toVarIndexUnsafe toVarIndexUnsafe556,557
subsetToSubFace2 subsetToSubFace2560,561
exprCorners exprCorners564,565
isHoleExpr isHoleExpr572,573
subFace2ProjSplit subFace2ProjSplit575,576
dropDimInside dropDimInside586,587
substProj substProj590,591
deContextualizeFace deContextualizeFace635,636
contextualizeFace contextualizeFace640,641
mkVar mkVar665,666
mkCellExpr mkCellExpr674,675
mkCellExprForce mkCellExprForce694,695
mkCellExprForceDefTail mkCellExprForceDefTail703,704
toCellExpr toCellExpr713,714
fromCellExprSafe fromCellExprSafe721,722
negateCellExprShallow negateCellExprShallow726,727
negateCellExpr negateCellExpr731,732
remapCellExprShallow remapCellExprShallow734,735
degenerateCellExpr degenerateCellExpr739,740
remapCellExpr remapCellExpr742,743
data PieceExpr PieceExpr749,750
data PieceExpr = PieceExpr PieceExpr749,750
data BType BType752,753
data BType = BType BType752,753
data CType CType755,756
  CType CType756,757
getCTypeDim getCTypeDim760,761
type Name Name766,767
data Env Env769,770
data Env = Env Env769,770
singleLevelAndTypeEnv singleLevelAndTypeEnv772,773
unsfDefTy unsfDefTy775,776
data Context Context783,784
data Context = Context Context783,784
addLevelToEnv addLevelToEnv786,787
addBTyToEnv addBTyToEnv789,790
addVarToContext addVarToContext792,793
addDimToContext addDimToContext795,796
mapAtMany mapAtMany799,800
addSF2ConstraintToContext addSF2ConstraintToContext806,807
addSFConstraintToContext addSFConstraintToContext811,812
addFaceConstraintToContext addFaceConstraintToContext817,818
lookupLevel lookupLevel820,821
lookupBType lookupBType823,824
allDims allDims826,827
unConstrainedDimsOnly unConstrainedDimsOnly830,831
unConstrainedDimsOnlyMb unConstrainedDimsOnlyMb833,834
unConstrainedDimsOnlyIds unConstrainedDimsOnlyIds837,838
(!(!!<)840,841
l l841,842
toDimI toDimI845,846
countTrueBeforeNFalse countTrueBeforeNFalse860,861
fromDimI fromDimI869,870
lookupDim lookupDim880,881
indexS indexS887,888
getDimSymbol getDimSymbol890,891
lookupVar lookupVar899,900
getVarSymbol getVarSymbol902,903
getBTypeSymbol getBTypeSymbol907,908
getVarType getVarType912,913
varCorners varCorners918,919
printCTypeCorners printCTypeCorners925,926
instance Codelike Codelike Context932,933
   toCode toCode933,934
instance Show Show Env960,961
   show show961,962
type Boundary Boundary966,967
indent indent969,970
class Codelike Codelike972,973
  toCode toCode973,974
  toStringEE toStringEE975,976
  toString toString978,979
instance Codelike Codelike (Int, Bool)981,982
  toCode toCode982,983
instance Codelike Codelike IExpr986,987
  toCode toCode987,988
parr parr991,992
instance Codelike Codelike Partial994,995
  toCode toCode995,996
instance Codelike Codelike Expr1004,1005
  toCode toCode1005,1006
instance Codelike Codelike LExpr1026,1027
  toCode toCode1027,1028
instance Codelike Codelike CType1034,1035
  toCode toCode1036,1037
instance Codelike Codelike SubFace21052,1053
  toCode toCode1053,1054
emptyEnv emptyEnv1075,1076
emptyCtx emptyCtx1078,1079
freshCtx freshCtx1081,1082
mkBType mkBType1084,1085
getBaseType getBaseType1091,1092
getCTyDim getCTyDim1095,1096
getExprDim getExprDim1101,1102
mkCType mkCType1110,1111
mkHcomp mkHcomp1120,1121
ctxDim ctxDim1126,1127
instance OfDim OfDim ((Env, Context), Expr)1129,1130
  getDim getDim1130,1131
instance OfDim OfDim Context1133,1134
  getDim getDim1134,1135
instance OfDim OfDim (Env, Context)1136,1137
  getDim getDim1137,1138
fExprAllFaces fExprAllFaces1148,1149
toSSnum toSSnum1155,1156
genericDims genericDims1163,1164
mkExprGrid mkExprGrid1165,1166

./src/ShowExp.hs,5332
module ShowExp ShowExp2,3
data Msg Msg62,63
    LoadFile LoadFile63,64
  | LoadGridLoadGrid64,65
  | TermInputTermInput65,66
data DisplayPreferences DisplayPreferences69,70
data DisplayPreferences = DisplayPreferencesDisplayPreferences69,70
   { dpShowFilling dpShowFilling70,71
defaultDisplayPreferences defaultDisplayPreferences73,74
data AppState AppState77,78
data AppState = AppStateAppState77,78
   { fileName fileName78,79
   , asSession asSession79,80
   , asCub asCub80,81
   , asDrawMode asDrawMode81,82
   , asViewport asViewport82,83
   , asDragStartVP asDragStartVP83,84
   , asUserMode asUserMode84,85
   , asMarkedCAddresses asMarkedCAddresses85,86
   , asDragStartAddress asDragStartAddress86,87
   , asKeyPressed asKeyPressed87,88
   , asMessage asMessage88,89
   , asDisplayPreferences asDisplayPreferences89,90
   , asTime asTime90,91
   , asLastMousePos asLastMousePos91,92
asCursorAddress asCursorAddress94,95
asSecCursorAddress asSecCursorAddress106,107
asSubFaceToAdd asSubFaceToAdd117,118
asExpression asExpression123,124
asViewportProc asViewportProc128,129
data ModalNav ModalNav135,136
data ModalNav = MNSub MNSub135,136
data ModalNav = MNSub Address | MNSup MNSup135,136
mnAddr mnAddr137,138
data UserMode UserMode140,141
    IdleIdle141,142
  | UMNavigation UMNavigation142,143
  | UMNavigation { umCoursorAddress umCoursorAddress142,143
  | UMNavigation { umCoursorAddress :: Address , umModalNav umModalNav142,143
  | UMSelectGrid UMSelectGrid146,147
  | UMSelectGrid { umEditedCell umEditedCell146,147
  | UMSelectGrid { umEditedCell :: Address , umHighlightedCell umHighlightedCell146,147
  | UMSelectGrid { umEditedCell :: Address , umHighlightedCell :: Maybe Address , umGSD umGSD146,147
  | UMHoleConflict UMHoleConflict147,148
  | UMHoleConflict { umEditedCell umEditedCell147,148
                     umFillHoleConflict umFillHoleConflict148,149
                     umFillHoleConflict :: FillHoleConflict , umMbResolution umMbResolution148,149
umNavigation umNavigation150,151
umAllowSelect umAllowSelect153,154
umModalNavigation umModalNavigation158,159
umEnsureModalNavigation umEnsureModalNavigation162,163
rotateModalNav rotateModalNav170,171
mnOptions mnOptions177,178
umModalNavigationOptions umModalNavigationOptions184,185
data DrawExprMode DrawExprMode194,195
data DrawExprMode = Stripes Stripes194,195
data DrawExprMode = Stripes | StripesNoFill StripesNoFill194,195
data DrawExprMode = Stripes | StripesNoFill | Scaffold Scaffold194,195
data DrawExprMode = Stripes | StripesNoFill | Scaffold | Scaffold2 Scaffold2194,195
data DrawExprMode = Stripes | StripesNoFill | Scaffold | Scaffold2 | Constraints Constraints194,195
data DrawExprMode = Stripes | StripesNoFill | Scaffold | Scaffold2 | Constraints | DebugDEMDebugDEM194,195
drawExprModes drawExprModes197,198
drawExpr drawExpr204,205
drawExpr drawExpr216,217
type UIApp UIApp302,303
type UIAppDesc UIAppDesc304,305
main main307,308
render render317,318
initialize initialize326,327
updateView updateView365,366
update update368,369
inputTerm inputTerm371,372
setUserMode setUserMode385,386
setGridHighlightAddr setGridHighlightAddr391,392
data PEMode PEMode395,396
data PEMode = PERuntime PERuntime395,396
data PEMode = PERuntime | PEInfoPEInfo395,396
processEvent processEvent398,399
extractInfo extractInfo406,407
eventsInfo eventsInfo417,418
consolePrint consolePrint441,442
asTailAddress asTailAddress448,449
printExpr printExpr454,455
modifyDrawingPreferences modifyDrawingPreferences468,469
setFromCub setFromCub480,481
setFromCubNoFlush setFromCubNoFlush485,486
transformExpr transformExpr501,502
printExprCode printExprCode513,514
setNavMode setNavMode532,533
liftPEM liftPEM536,537
helperPEM helperPEM540,541
eventsGlobal eventsGlobal544,545
modesEvents modesEvents622,623
rotationIndexes rotationIndexes865,866
pressedDims pressedDims879,880
handleCellManipulationEvents handleCellManipulationEvents888,889
modalConsoleView modalConsoleView945,946
drawingInterpreter drawingInterpreter962,963
updateGL updateGL973,974
loadFile loadFile1007,1008
unMarkAll unMarkAll1066,1067
markCell markCell1069,1070
dragFaceOntoFace dragFaceOntoFace1073,1074
initGiveCell initGiveCell1103,1104
getHoveredAddress getHoveredAddress1178,1179
initHoleConflict initHoleConflict1204,1205
data GridSelectionDesc GridSelectionDesc1212,1213
  GridSelectionDescGridSelectionDesc1213,1214
  { gsdChoices gsdChoices1214,1215
  , gsdPosition gsdPosition1215,1216
  , gsdAction gsdAction1216,1217
  , gsdFinalAction gsdFinalAction1217,1218
  , gsdAbortAction gsdAbortAction1218,1219
gridLookup gridLookup1222,1223
gridIndexOf gridIndexOf1225,1226
gridMapWithIndex gridMapWithIndex1234,1235
gsdRunFinalAction gsdRunFinalAction1237,1238
gsdRunAbortAction gsdRunAbortAction1241,1242
gsdRunDirection gsdRunDirection1248,1249
isArrowKey isArrowKey1295,1296
isDigitKey isDigitKey1301,1302
toDigitKey toDigitKey1313,1314
pressedDigits pressedDigits1325,1326
arrowKey2nav arrowKey2nav1328,1329
arrowKey2BoolBool arrowKey2BoolBool1335,1336
arrowKey2Bool arrowKey2Bool1342,1343
allKeys allKeys1373,1374

./src/Reorientable.hs,753
module Reorientable Reorientable5,6
data DecomposedSubst DecomposedSubst28,29
   DecomposedSubst DecomposedSubst29,30
     missingDS missingDS30,31
     orderDS orderDS31,32
     negsDS negsDS32,33
     diagDS diagDS33,34
decomposeSubst decomposeSubst36,37
class DiaDeg DiaDeg63,64
  appNegs appNegs64,65
  appDiags appDiags67,68
  appPerm appPerm70,71
  appDegen appDegen73,74
  remapDS remapDS76,77
  remapTL remapTL83,84
instance OfDim OfDim [a]87,88
  getDim getDim89,90
instance DiaDeg DiaDeg Int92,93
  appNegs appNegs94,95
  appDiags appDiags96,97
  appPerm appPerm98,99
instance DiaDeg DiaDeg (FromLI Subset a)100,101
  appNegs appNegs101,102
  appDiags appDiags103,104
  appPerm appPerm107,108

./src/PiecesEval.hs,140
module PiecesEval PiecesEval0,1
pieceComp pieceComp27,28
iExprPE iExprPE36,37
pieceEval pieceEval47,48
piecesEval piecesEval53,54

./src/ConsolePrint.hs,248
module ConsolePrint ConsolePrint7,8
data CubPrintData CubPrintData34,35
  CubPrintDataCubPrintData35,36
    cpdCursorAddress cpdCursorAddress37,38
  , cpdTailAddress cpdTailAddress38,39
printCub printCub47,48
printCubO printCubO52,53

./src/FloatTools.hs,529
module FloatTools FloatTools0,1
unTabulate unTabulate21,22
ambFnOnArr ambFnOnArr29,30
centerW centerW39,40
tanAlpha tanAlpha41,42
interp interp43,44
negF negF45,46
hhh hhh47,48
vertSideFixInv vertSideFixInv49,50
centerTransInv centerTransInv59,60
data SideTransMode SideTransMode62,63
data SideTransMode = STSubFace STSubFace62,63
data SideTransMode = STSubFace | STFillSTFill62,63
sideTransInv sideTransInv64,65
sideQ sideQ84,85
sideGet sideGet90,91
piramFn piramFn102,103
desat desat109,110

./src/Abstract.hs,5550
module Abstract Abstract7,8
data ClCub ClCub43,44
data ClCub b = ClCub ClCub43,44
data ClCub b = ClCub {clCub clCub43,44
data CylCub CylCub46,47
data CylCub b = CylCub CylCub46,47
data CylCub b = CylCub {cylCub cylCub46,47
data BdCub BdCub50,51
data BdCub b = BdCub BdCub50,51
data BdCub b = BdCub {bdCub bdCub50,51
instance (S(Show b) => Show (CylCub b)53,54
  show show54,55
data OCub OCub56,57
    Cub Cub57,58
  | Hcomp Hcomp58,59
isHole isHole63,64
data AddressPart AddressPart74,75
data AddressPart = AOnCylinder AOnCylinder74,75
data AddressPart = AOnCylinder SubFace | AOnBottom AOnBottom74,75
data Address Address76,77
data Address = Address Address76,77
newtype CAddress CAddress82,83
newtype CAddress = CAddress {cAddress cAddress82,83
toAddress toAddress85,86
data CStatus CStatus87,88
data CStatus = CSConstrainedCSConstrained87,88
isHcompSideAddr isHcompSideAddr106,107
isHcompSideAddrToAdd isHcompSideAddrToAdd110,111
addresedDimPart addresedDimPart123,124
addresedDim addresedDim128,129
cAddresedDim cAddresedDim132,133
onCyl onCyl136,137
onBottom onBottom142,143
injAddress injAddress147,148
rootAddress rootAddress152,153
instance OfDim OfDim (ClCub b)155,156
  getDim getDim156,157
instance OfDim OfDim (OCub b)158,159
  getDim getDim159,160
instance OfDim OfDim Address162,163
  getDim getDim163,164
instance OfDim OfDim AddressPart165,166
  getDim getDim166,167
mbSubAddressTest mbSubAddressTest175,176
mbSubAddress mbSubAddress181,182
  | not (sf' `isSubFaceOf`isSubFaceOf183,184
mbSubFaceAddr mbSubFaceAddr244,245
toFillParentOPart toFillParentOPart254,255
toFillParentO' toFillParentO'263,264
toFillParentO toFillParentO273,274
toFillParent toFillParent282,283
getAllAddrClasses getAllAddrClasses295,296
addressClass addressClass301,302
compAddressClass compAddressClass312,313
isInternalAddress isInternalAddress319,320
addressSuperFaces addressSuperFaces330,331
isFaceOfClass isFaceOfClass342,343
commonSuperFace commonSuperFace363,364
mbSelectFaces mbSelectFaces378,379
addressSubFace addressSubFace419,420
cAddressSubFace cAddressSubFace434,435
cAddrWithSubFaces cAddrWithSubFaces439,440
bdCubPickSF bdCubPickSF448,449
clCubPickSF clCubPickSF454,455
clInterior clInterior461,462
clBoundary clBoundary464,465
uncurryCl uncurryCl470,471
clCubPick clCubPick474,475
isHoleClass isHoleClass503,504
clCubPickData clCubPickData526,527
oCubPickTopLevelData oCubPickTopLevelData533,534
clCubPickTopLevelData clCubPickTopLevelData539,540
clCubPickO clCubPickO542,543
oCubPick oCubPick548,549
fixAddress fixAddress564,565
isValidAddressFor isValidAddressFor571,572
addressClassSuperCellsClass addressClassSuperCellsClass578,579
addressClassSuperCellsClassLeafs addressClassSuperCellsClassLeafs585,586
addressClassSuperHoles addressClassSuperHoles590,591
directlyConstrainingSuperCells directlyConstrainingSuperCells597,598
isFreeAddressClass isFreeAddressClass603,604
isFreeAddressClassRel isFreeAddressClassRel607,608
onlyLeafs onlyLeafs612,613
addressSuperCells addressSuperCells619,620
clDegenerate clDegenerate631,632
clDegenerateMany clDegenerateMany639,640
oDegenerate oDegenerate642,643
traceConstraintsSingleAll traceConstraintsSingleAll656,657
traceConstraintsSingle traceConstraintsSingle674,675
traceConstraints traceConstraints700,701
cubMapShallow cubMapShallow767,768
cubMapTrav cubMapTrav778,779
cubMapTrav' cubMapTrav'800,801
cubMapTravWithB cubMapTravWithB824,825
cubMapWithB cubMapWithB857,858
cubMap cubMap885,886
cubMap' cubMap'891,892
cubMapWAddr cubMapWAddr906,907
clClearAllCells clClearAllCells911,912
cubMapMayReplace cubMapMayReplace915,916
cubMapOld cubMapOld944,945
cubMapOldBoth cubMapOldBoth946,947
travOldBoth travOldBoth951,952
instance Foldable Foldable OCub977,978
  foldMap foldMap978,979
instance Foldable Foldable ClCub981,982
  foldMap foldMap982,983
instance Foldable Foldable CylCub984,985
  foldMap foldMap985,986
clCubFace clCubFace1048,1049
clCubSubFace clCubSubFace1056,1057
toClCub toClCub1125,1126
toOCub toOCub1153,1154
fromCylCub fromCylCub1183,1184
fromOCub fromOCub1201,1202
fromClCub fromClCub1212,1213
clCellType clCellType1217,1218
contextAtIns contextAtIns1290,1291
contextAtSafe contextAtSafe1302,1303
contextAt contextAt1307,1308
data Direction Direction1324,1325
data Direction = DParent DParent1324,1325
data Direction = DParent | DChild DChild1324,1325
data Direction = DParent | DChild | DNext DNext1324,1325
data Direction = DParent | DChild | DNext | DPrevDPrev1324,1325
data ImposibleMove ImposibleMove1326,1327
data ImposibleMove = ImposibleMoveImposibleMove1326,1327
negateDimIndexes negateDimIndexes1329,1330
rotateDimIndexes rotateDimIndexes1358,1359
permuteDimIndexes permuteDimIndexes1364,1365
remapDimIndexes remapDimIndexes1376,1377
cubNav cubNav1414,1415
vaccantSubFaces vaccantSubFaces1479,1480
occupiedCylCells occupiedCylCells1486,1487
unifyCylCub unifyCylCub1493,1494
unifyOCub unifyOCub1503,1504
unifyClCub unifyClCub1515,1516
giveOptions giveOptions1525,1526
toClCubAt toClCubAt1531,1532
substDimsOCub substDimsOCub1541,1542
substDimsCylCub substDimsCylCub1553,1554
substDimsClCub substDimsClCub1566,1567
clDegenerateTest clDegenerateTest1580,1581
cornerTail cornerTail1586,1587
negateDim negateDim1601,1602
clCubRemoveSideMaximal clCubRemoveSideMaximal1606,1607

./src/LoadShaders.hs,469
module LoadShaders LoadShaders0,1
data ShaderSource ShaderSource13,14
     ByteStringSource ByteStringSource14,15
   | StringSource StringSource16,17
   | FileSource FileSource18,19
getSource getSource22,23
data ShaderInfo ShaderInfo31,32
data ShaderInfo = ShaderInfo ShaderInfo31,32
loadShaders loadShaders39,40
linkAndCheck linkAndCheck46,47
loadCompileAttach loadCompileAttach49,50
compileAndCheck compileAndCheck59,60
checked checked62,63

./src/ExprParserTests.hs,44
module ExprParserTests ExprParserTests6,7

./src/InteractiveParse.hs,466
module InteractiveParse InteractiveParse6,7
consToHead consToHead18,19
splitsBy splitsBy22,23
sectionsHeads sectionsHeads31,32
rawSections rawSections41,42
data SessionState SessionState49,50
data SessionState = SessionState SessionState49,50
ssEnvExpr ssEnvExpr51,52
ssSetExpression ssSetExpression53,54
freshSessionState freshSessionState57,58
instance Show Show SessionState66,67
   show show67,68
parseInteractive parseInteractive75,76

./Show3d.hs,627
module Show3d Show3d0,1
data Descriptor Descriptor29,30
data Descriptor = Descriptor Descriptor29,30
bufferOffset bufferOffset37,38
brownish brownish40,41
asTuples asTuples43,44
asTruples asTruples47,48
mmHelp mmHelp51,52
quad2tris quad2tris59,60
oct2tris oct2tris63,64
groupPer3 groupPer375,76
drawing2vertex drawing2vertex79,80
initResources initResources132,133
resizeWindow resizeWindow261,262
keyPressed keyPressed272,273
shutdown shutdown278,279
showDrawing showDrawing286,287
showTerm showTerm305,306
mainShowTerm mainShowTerm309,310
main main320,321
onDisplay onDisplay336,337

./app/Main.hs,38
module Main Main0,1
main main9,10

./test/Spec.hs,15
main main0,1