d8ab441 · project-m36 · git.iko.soy

git.iko.soy/project-m36

refactor NonEmptyList type

add test rename NonEmpty to NonEmptyList (we can change this once we support modules) add NonEmptyList AtomFunctions to basic AtomFunction list

commitd8ab441c701c18d7d7eb53551646fa9fba5df1f4 authorAgentM <agentm@themactionfaction.com> dateMon 11 Jun 2018, 16:33 (8 years ago) parente6e62e3

10 files changed+96−2085

compare with master

unifiedsplit

examples/NonEmptyAtomalbe.hs → examples/NonEmptyListAtomable.hs project-m36.cabal+9−2 src/lib/ProjectM36/.ghci−4 src/lib/ProjectM36/AtomFunctions/Basic.hs+2 src/lib/ProjectM36/Atomable.hs+8−5 src/lib/ProjectM36/DataTypes/Basic.hs+2−2 src/lib/ProjectM36/DataTypes/NonEmpty.hs−69 src/lib/ProjectM36/DataTypes/NonEmptyList.hs+53 src/lib/ProjectM36/tags−2001 test/TutorialD/Interpreter.hs+22−2

examples/NonEmptyAtomalbe.hs → examples/NonEmptyListAtomable.hsrenamed

The content is the same.

project-m36.cabal+9−2

@@ -138,7 +138,7 @@ Library

138138 ProjectM36.DataTypes.Either,

139139 ProjectM36.DataTypes.Maybe,

140140 ProjectM36.DataTypes.List,

141− ProjectM36.DataTypes.NonEmpty,

141+ ProjectM36.DataTypes.NonEmptyList,

142142 ProjectM36.DataTypes.Primitive,

143143 ProjectM36.DataTypes.Interval,

144144 ProjectM36.DataTypes.ByteString,

@@ -442,6 +442,13 @@ Executable Example-CustomTupleable

442442 Build-Depends: base, HUnit, Cabal, containers, hashable, unordered-containers, mtl, vector, vector-binary-instances, time, hashable-time, bytestring, uuid, stm, deepseq, deepseq-generics, binary, parallel, cassava, attoparsec, gnuplot, directory, temporary, haskeline, megaparsec, text, base64-bytestring, data-interval, filepath, transformers, stm-containers, list-t, aeson, path-pieces, either, conduit, http-api-data, template-haskell, ghc, ghc-paths, project-m36

443443 Main-Is: examples/CustomTupleable.hs

444444 GHC-Options: -Wall

445+

446+Executable Example-NonEmptyListAtomable

447+ Default-Language: Haskell2010

448+ Default-Extensions: OverloadedStrings

449+ Build-Depends: base, HUnit, Cabal, containers, hashable, unordered-containers, mtl, vector, vector-binary-instances, time, hashable-time, bytestring, uuid, stm, deepseq, deepseq-generics, binary, parallel, cassava, attoparsec, gnuplot, directory, temporary, haskeline, megaparsec, text, base64-bytestring, data-interval, filepath, transformers, stm-containers, list-t, aeson, path-pieces, either, conduit, http-api-data, template-haskell, ghc, ghc-paths, project-m36

450+ Main-Is: examples/NonEmptyListAtomable.hs

451+ GHC-Options: -Wall

445452

446453Test-Suite test-scripts

447454 Default-Language: Haskell2010

@@ -556,4 +563,4 @@ Executable handles

556563 if flag(profiler)

557564 GHC-Prof-Options: -fprof-auto -rtsopts -threaded -Wall

558565

559−

566+

src/lib/ProjectM36/.ghcideleted−4

@@ -1,4 +0,0 @@

1−import Test.QuickCheck.Arbitrary

2−import Test.QuickCheck

3−import System.Random

4−import System.Random.TF.Gen

src/lib/ProjectM36/AtomFunctions/Basic.hs+2

@@ -6,6 +6,7 @@ import ProjectM36.DataTypes.Either

66import ProjectM36.DataTypes.Maybe

77import ProjectM36.DataTypes.Interval

88import ProjectM36.DataTypes.ByteString

9+import ProjectM36.DataTypes.NonEmptyList

910import ProjectM36.AtomFunctions.Primitive

1011import ProjectM36.AtomFunction

1112import ProjectM36.DataTypes.List

@@ -19,6 +20,7 @@ basicAtomFunctions = HS.unions [primitiveAtomFunctions,

1920 eitherAtomFunctions,

2021 maybeAtomFunctions,

2122 listAtomFunctions,

23+ nonEmptyListAtomFunctions,

2224 bytestringAtomFunctions,

2325 intervalAtomFunctions]

2426

src/lib/ProjectM36/Atomable.hs+8−5

@@ -1,11 +1,12 @@

11{-# LANGUAGE DefaultSignatures, TypeFamilies, TypeOperators, PolyKinds, FlexibleInstances, ScopedTypeVariables, FlexibleContexts #-}

2+{-# OPTIONS_GHC -fno-warn-orphans #-}

23module ProjectM36.Atomable where

34--http://stackoverflow.com/questions/13448361/type-families-with-ghc-generics-or-data-data

45--instances to marshal Haskell ADTs to ConstructedAtoms and back

56import ProjectM36.Base

67import ProjectM36.DataTypes.Primitive

78import ProjectM36.DataTypes.List

8−import ProjectM36.DataTypes.NonEmpty

9+import ProjectM36.DataTypes.NonEmptyList

910import ProjectM36.DataTypes.Maybe

1011import ProjectM36.DataTypes.Either

1112import GHC.Generics

@@ -158,12 +159,14 @@ instance Atomable a => Atomable [a] where

158159 toAddTypeExpr _ = NoOperation

159160

160161instance Atomable a => Atomable (NE.NonEmpty a) where

161− toAtom (x NE.:| []) = ConstructedAtom "NECons" (nonEmptyAtomType (toAtomType (Proxy :: Proxy a))) [toAtom x]

162− toAtom (x NE.:| xs) = ConstructedAtom "NECons" (nonEmptyAtomType (toAtomType (Proxy :: Proxy a))) (map toAtom (x:xs))

163− fromAtom _ = error "improper fromAtom (NonEmpty a)"

162+ toAtom (x NE.:| []) = ConstructedAtom "NECons" (nonEmptyListAtomType (toAtomType (Proxy :: Proxy a))) [toAtom x]

163+ toAtom (x NE.:| xs) = ConstructedAtom "NECons" (nonEmptyListAtomType (toAtomType (Proxy :: Proxy a))) (map toAtom (x:xs))

164+ fromAtom _ = error "improper fromAtom (NonEmptyList a)"

164165

165− toAtomType _ = ConstructedAtomType "NonEmpty" (M.singleton "a" (toAtomType (Proxy :: Proxy a)))

166+ toAtomType _ = ConstructedAtomType "NonEmptyList" (M.singleton "a" (toAtomType (Proxy :: Proxy a)))

166167 toAddTypeExpr _ = NoOperation

168+

169+instance Binary a => Binary (NE.NonEmpty a)

167170

168171-- Generics

169172class AtomableG g where

src/lib/ProjectM36/DataTypes/Basic.hs+2−2

@@ -4,7 +4,7 @@ import ProjectM36.DataTypes.Primitive

44import ProjectM36.DataTypes.Either

55import ProjectM36.DataTypes.Maybe

66import ProjectM36.DataTypes.List

7−import ProjectM36.DataTypes.NonEmpty

7+import ProjectM36.DataTypes.NonEmptyList

88import ProjectM36.DataTypes.Interval

99import ProjectM36.Base

1010

@@ -13,7 +13,7 @@ basicTypeConstructorMapping = primitiveTypeConstructorMapping ++

1313 maybeTypeConstructorMapping ++

1414 eitherTypeConstructorMapping ++

1515 listTypeConstructorMapping ++

16− nonEmptyTypeConstructorMapping ++

16+ nonEmptyListTypeConstructorMapping ++

1717 intervalTypeConstructorMapping

1818

1919

src/lib/ProjectM36/DataTypes/NonEmpty.hsdeleted−69

@@ -1,69 +0,0 @@

1−module ProjectM36.DataTypes.NonEmpty where

2−import ProjectM36.Base

3−import ProjectM36.DataTypes.Maybe

4−import ProjectM36.DataTypes.Primitive

5−import qualified Data.Map as M

6−import qualified Data.HashSet as HS

7−import ProjectM36.AtomFunctionError

8−

9−nonEmptyAtomType :: AtomType -> AtomType

10−nonEmptyAtomType arg = ConstructedAtomType "NonEmpty" (M.singleton "a" arg)

11−{-

12−listTypeConstructorMapping :: TypeConstructorMapping

13−listTypeConstructorMapping = [(ADTypeConstructorDef "List" ["a"],

14− [DataConstructorDef "Empty" [],

15− DataConstructorDef "Cons" [DataConstructorDefTypeVarNameArg "a",

16− DataConstructorDefTypeConstructorArg (ADTypeConstructor "List" [TypeVariable "a"])]])]

17−

18−Base.hs:data DataConstructorDef = DataConstructorDef DataConstructorName [DataConstructorDefArg] deriving (Eq, Show, Binary, Generic, NFData)

19−-}

20−nonEmptyTypeConstructorMapping :: TypeConstructorMapping

21−nonEmptyTypeConstructorMapping = [(ADTypeConstructorDef "NonEmpty" ["a"],

22− [DataConstructorDef "NECons" [DataConstructorDefTypeVarNameArg "a",

23− DataConstructorDefTypeConstructorArg (ADTypeConstructor "NonEmpty" [TypeVariable "a"])]])]

24−

25−nonEmptyLength :: Atom -> Either AtomFunctionError Int

26−nonEmptyLength (ConstructedAtom "NECons" _ (_:nextNECons:_)) = do

27− c <- nonEmptyLength nextNECons

28− pure (c + 1)

29−nonEmptyLength (ConstructedAtom "NECons" _ _) = pure 1

30−nonEmptyLength _ = Left AtomFunctionTypeMismatchError

31−

32−nonEmptyHead :: Atom -> Either AtomFunctionError Atom

33−nonEmptyHead (ConstructedAtom "NECons" _ (val:_)) = pure (ConstructedAtom "Just" aType [val])

34− where

35− aType = maybeAtomType (atomTypeForAtom val)

36−nonEmptyHead _ = Left AtomFunctionTypeMismatchError

37−

38−{-

39−listMaybeHead :: Atom -> Either AtomFunctionError Atom

40−listMaybeHead (ConstructedAtom "Cons" _ (val:_)) = pure (ConstructedAtom "Just" aType [val])

41− where

42− aType = maybeAtomType (atomTypeForAtom val)

43−listMaybeHead (ConstructedAtom "Empty" (ConstructedAtomType _ tvMap) _) =

44− case M.lookup "a" tvMap of

45− Nothing -> Left AtomFunctionTypeMismatchError

46− Just aType -> pure (ConstructedAtom "Nothing" aType [])

47−listMaybeHead _ = Left AtomFunctionTypeMismatchError

48−-}

49−

50−listAtomFunctions :: AtomFunctions

51−listAtomFunctions = HS.fromList [

52− AtomFunction {

53− atomFuncName = "length",

54− atomFuncType = [nonEmptyAtomType (TypeVariableType "a"), IntAtomType],

55− atomFuncBody = AtomFunctionBody Nothing (\(nonEmptyAtom:_) ->

56− IntAtom . fromIntegral <$> nonEmptyLength nonEmptyAtom)

57− },

58− AtomFunction {

59− atomFuncName = "nonEmptyHead",

60− atomFuncType = [nonEmptyAtomType (TypeVariableType "a"), maybeAtomType (TypeVariableType "a")],

61− atomFuncBody = AtomFunctionBody Nothing (\(nonEmptyAtom:_) -> nonEmptyHead nonEmptyAtom)

62− }

63− ]

64−

65−--just a private utility function

66−nonEmptyCons :: AtomType -> [Atom] -> Atom

67−nonEmptyCons typ [a] = ConstructedAtom "NECons" (nonEmptyAtomType typ) []

68−nonEmptyCons typ (a:as) = ConstructedAtom "NECons" (nonEmptyAtomType typ) [a, nonEmptyCons typ as]

69−nonEmptyCons _ [] = error "nonEmptyCons error: can't construct an empty nonempty"

src/lib/ProjectM36/DataTypes/NonEmptyList.hsnew file+53

@@ -0,0 +1,53 @@

1+module ProjectM36.DataTypes.NonEmptyList where

2+import ProjectM36.Base

3+import qualified Data.Map as M

4+import qualified Data.HashSet as HS

5+import ProjectM36.AtomFunctionError

6+import ProjectM36.DataTypes.List

8+nonEmptyListAtomType :: AtomType -> AtomType

9+nonEmptyListAtomType arg = ConstructedAtomType "NonEmptyList" (M.singleton "a" arg)

10+

11+-- data NonEmptyList = NECons a (Cons a)

12+nonEmptyListTypeConstructorMapping :: TypeConstructorMapping

13+nonEmptyListTypeConstructorMapping = [(ADTypeConstructorDef "NonEmptyList" ["a"],

14+ [DataConstructorDef "NECons" [DataConstructorDefTypeVarNameArg "a",

15+ DataConstructorDefTypeConstructorArg (ADTypeConstructor "List" [TypeVariable "a"])]])]

16+

17+nonEmptyListLength :: Atom -> Either AtomFunctionError Int

18+nonEmptyListLength (ConstructedAtom "NECons" _ (_:nextCons:_)) = do

19+ c <- listLength nextCons

20+ pure (c + 1)

21+nonEmptyListLength (ConstructedAtom "NECons" _ _) = pure 1

22+nonEmptyListLength _ = Left AtomFunctionTypeMismatchError

23+

24+nonEmptyListHead :: Atom -> Either AtomFunctionError Atom

25+nonEmptyListHead (ConstructedAtom "NECons" _ (val:_)) = pure val

26+nonEmptyListHead _ = Left AtomFunctionTypeMismatchError

27+

28+{-

29+listMaybeHead :: Atom -> Either AtomFunctionError Atom

30+listMaybeHead (ConstructedAtom "Cons" _ (val:_)) = pure (ConstructedAtom "Just" aType [val])

31+ where

32+ aType = maybeAtomType (atomTypeForAtom val)

33+listMaybeHead (ConstructedAtom "Empty" (ConstructedAtomType _ tvMap) _) =

34+ case M.lookup "a" tvMap of

35+ Nothing -> Left AtomFunctionTypeMismatchError

36+ Just aType -> pure (ConstructedAtom "Nothing" aType [])

37+listMaybeHead _ = Left AtomFunctionTypeMismatchError

38+-}

39+

40+nonEmptyListAtomFunctions :: AtomFunctions

41+nonEmptyListAtomFunctions = HS.fromList [

42+ AtomFunction {

43+ atomFuncName = "nonEmptyListLength",

44+ atomFuncType = [nonEmptyListAtomType (TypeVariableType "a"), IntAtomType],

45+ atomFuncBody = AtomFunctionBody Nothing (\(nonEmptyListAtom:_) ->

46+ IntAtom . fromIntegral <$> nonEmptyListLength nonEmptyListAtom)

47+ },

48+ AtomFunction {

49+ atomFuncName = "nonEmptyListHead",

50+ atomFuncType = [nonEmptyListAtomType (TypeVariableType "a"), TypeVariableType "a"],

51+ atomFuncBody = AtomFunctionBody Nothing (\(nonEmptyListAtom:_) -> nonEmptyListHead nonEmptyListAtom)

52+ }

53+ ]

src/lib/ProjectM36/tagsdeleted−2001

@@ -1,2001 +0,0 @@

1−-- ./Base.hs 374

2−-- ./Base.hs 475

3−-- ./Base.hs 476

4−-- ./Error.hs 118

5−-- ./RelationalExpression.hs 53

6−-- ./TransactionGraph.hs 40

7−-- ./TransactionGraph.hs 41

8−--- ./Base.hs 181

9−--- ./Base.hs 183

10−--- ./Base.hs 185

11−--- ./Base.hs 192

12−--- ./Base.hs 194

13−--- ./Base.hs 196

14−--- ./Base.hs 198

15−--- ./Base.hs 200

16−--- ./Base.hs 202

17−--- ./Base.hs 204

18−--- ./Base.hs 206

19−--- ./Base.hs 208

20−--MakeFunctionalRelation ./Base.hs 187

21−--Summarize ./Base.hs 212

22−--adding ./Base.hs 322

23−--applyStaticDatabaseOptimization ./StaticOptimizer.hs 200

24−--atom ./Base.hs 352

25−--expected ./Error.hs 127

26−--failed ./Error.hs 120

27−--forget ./Base.hs 307

28−--plotRelation ./Relation/Show/Gnuplot.hs 24

29−--type ./Base.hs 351

30−--used ./RelationalExpression.hs 54

31−ADTypeConstructor ./Base.hs 237

32−ADTypeConstructorDef ./Base.hs 231

33−AddAtomFunction ./Base.hs 336

34−AddDatabaseContextFunction ./Base.hs 338

35−AddInclusionDependency ./Base.hs 313

36−AddNotification ./Base.hs 316

37−AddSubschema ./IsomorphicSchema.hs 30

38−AddTypeConstructor ./Base.hs 319

39−AndPredicate ./Base.hs 348

40−Arbitrary ./Base.hs 546

41−Atom ./Base.hs 30

42−AtomExpr ./Base.hs 405

43−AtomExprBase ./Base.hs 408

44−AtomFunction ./Base.hs 445

45−AtomFunction ./Base.hs 445

46−AtomFunctionBody ./Base.hs 434

47−AtomFunctionBody ./Base.hs 434

48−AtomFunctionBodyScript ./Base.hs 430

49−AtomFunctionBodyType ./Base.hs 432

50−AtomFunctionBytesDecodingError ./AtomFunctionError.hs 16

51−AtomFunctionEmptyRelationError ./AtomFunctionError.hs 13

52−AtomFunctionError ./AtomFunctionError.hs 8

53−AtomFunctionName ./Base.hs 428

54−AtomFunctionTypeError ./Error.hs 77

55−AtomFunctionTypeMismatchError ./AtomFunctionError.hs 9

56−AtomFunctionTypeVariableMismatch ./Error.hs 61

57−AtomFunctionTypeVariableResolutionError ./Error.hs 60

58−AtomFunctionUserError ./AtomFunctionError.hs 8

59−AtomFunctionUserError ./Error.hs 78

60−AtomFunctions ./Base.hs 426

61−AtomOperatorNotSupported ./Error.hs 74

62−AtomType ./Base.hs 67

63−AtomTypeCountError ./Error.hs 76

64−AtomTypeDoesNotSupportIntervalError ./AtomFunctionError.hs 15

65−AtomTypeDoesNotSupportOrderingError ./AtomFunctionError.hs 14

66−AtomTypeMismatchError ./Error.hs 51

67−AtomTypeName ./Base.hs 248

68−AtomTypeNameInUseError ./Error.hs 62

69−AtomTypeNameNotInUseError ./Error.hs 64

70−AtomTypeNotSupported ./Error.hs 73

71−AtomTypeTypeConstructorReconciliationError ./Error.hs 53

72−Atomable ./Atomable.hs 36

73−AtomableG ./Atomable.hs 159

74−AtomableG ./Atomable.hs 159

75−Attribute ./Base.hs 95

76−Attribute ./Base.hs 95

77−AttributeAndTypeNameExpr ./Base.hs 483

78−AttributeAtomExpr ./Base.hs 408

79−AttributeCountMismatchError ./Error.hs 20

80−AttributeExpr ./Base.hs 480

81−AttributeExprBase ./Base.hs 483

82−AttributeExtendTupleExpr ./Base.hs 418

83−AttributeIsNotRelationValuedError ./Error.hs 23

84−AttributeMappingError ./Relation/Parse/CSV.hs 27

85−AttributeName ./Base.hs 92

86−AttributeNameAtomExprMap ./Base.hs 298

87−AttributeNameInUseError ./Error.hs 22

88−AttributeNames ./Base.hs 464

89−AttributeNames ./Base.hs 471

90−AttributeNamesBase ./Base.hs 464

91−AttributeNamesMismatchError ./Error.hs 21

92−Attributes ./Base.hs 101

93−BoolAtom ./Base.hs 37

94−BoolAtomType ./Base.hs 74

95−Branch ./TransactionGraph.hs 50

96−ByteStringAtom ./Base.hs 36

97−ByteStringAtomType ./Base.hs 73

98−CFSType ./FSType.hs 77

99−CFSType ./FSType.hs 82

100−CStatFS ./FSType.hs 54

101−CStatFS ./FSType.hs 72

102−Cell ./Relation/Show/Term.hs 52

103−ClientNodes ./Client.hs 220

104−CloseSession ./Server/RemoteCallTypes.hs 49

105−CloseSession ./Server/RemoteCallTypes.hs 49

106−Commit ./TransactionGraph.hs 53

107−ConnError ./Client/Simple.hs 93

108−Connection ./Client.hs 240

109−ConnectionError ./Client.hs 244

110−ConnectionInfo ./Client.hs 181

111−ConstructedAtom ./Base.hs 39

112−ConstructedAtomArgumentCountMismatchError ./Error.hs 69

113−ConstructedAtomExpr ./Base.hs 412

114−ConstructedAtomType ./Base.hs 76

115−CouldNotInferAttributes ./Error.hs 24

116−CountUpdatedTuples ./RelationalExpression.hs 34

117−Countable ./Base.hs 172

118−Create ./Base.hs 181

119−Create ./Base.hs 183

120−Create ./Base.hs 192

121−Create ./Base.hs 194

122−Create ./Base.hs 196

123−Create ./Base.hs 202

124−Create ./Base.hs 204

125−CreateArbitraryRelation ./Base.hs 340

126−CreateSessionAtCommit ./Server/RemoteCallTypes.hs 45

127−CreateSessionAtCommit ./Server/RemoteCallTypes.hs 45

128−CreateSessionAtHead ./Server/RemoteCallTypes.hs 47

129−CreateSessionAtHead ./Server/RemoteCallTypes.hs 47

130−CsvImportError ./Relation/Parse/CSV.hs 26

131−CsvParseError ./Relation/Parse/CSV.hs 26

132−DataConstructorDef ./Base.hs 251

133−DataConstructorDef ./Base.hs 251

134−DataConstructorDefArg ./Base.hs 255

135−DataConstructorDefTypeConstructorArg ./Base.hs 255

136−DataConstructorDefTypeVarNameArg ./Base.hs 256

137−DataConstructorDefs ./Base.hs 253

138−DataConstructorName ./Base.hs 247

139−DataConstructorNameInUseError ./Error.hs 54

140−DataConstructorTypeVarsMismatch ./Error.hs 59

141−DataConstructorUsesUndeclaredTypeVariable ./Error.hs 55

142−DatabaseContext ./Base.hs 282

143−DatabaseContext ./Base.hs 282

144−DatabaseContextExpr ./Base.hs 304

145−DatabaseContextExprDetails ./RelationalExpression.hs 34

146−DatabaseContextExprName ./Base.hs 301

147−DatabaseContextFunction ./Base.hs 515

148−DatabaseContextFunction ./Base.hs 515

149−DatabaseContextFunctionBody ./Base.hs 510

150−DatabaseContextFunctionBody ./Base.hs 510

151−DatabaseContextFunctionBodyScript ./Base.hs 506

152−DatabaseContextFunctionBodyType ./Base.hs 508

153−DatabaseContextFunctionError ./DatabaseContextFunctionError.hs 8

154−DatabaseContextFunctionName ./Base.hs 504

155−DatabaseContextFunctionUserError ./DatabaseContextFunctionError.hs 8

156−DatabaseContextFunctionUserError ./Error.hs 89

157−DatabaseContextFunctions ./Base.hs 521

158−DatabaseContextIOExpr ./Base.hs 336

159−DatabaseLoadError ./Error.hs 90

160−DatabaseName ./Client.hs 159

161−DatabaseState ./RelationalExpression.hs 86

162−DatabaseStateElems ./RelationalExpression.hs 84

163−DateTimeAtom ./Base.hs 35

164−DateTimeAtomType ./Base.hs 72

165−DayAtom ./Base.hs 34

166−DayAtomType ./Base.hs 71

167−Db ./Client/Simple.hs 41

168−Db ./Client/Simple.hs 41

169−DbConn ./Client/Simple.hs 39

170−DbError ./Client/Simple.hs 93

171−Define ./Base.hs 306

172−Delete ./Base.hs 310

173−DeleteBranch ./TransactionGraph.hs 51

174−DirtyFlag ./Base.hs 387

175−DisconnectedTransaction ./Base.hs 390

176−DisconnectedTransaction ./Base.hs 390

177−DiskSync ./Persist.hs 49

178−DoubleAtom ./Base.hs 32

179−DoubleAtomType ./Base.hs 69

180−DuplicateAttributeNamesError ./Error.hs 18

181−EmptyAttributesError ./Error.hs 17

182−EmptyCommitError ./Error.hs 67

183−EmptyTuplesError ./Error.hs 75

184−EvaluatedNotification ./Client.hs 191

185−EvaluatedNotification ./Client.hs 191

186−EvaluatedNotifications ./Client.hs 184

187−ExecuteAutoMergeToHead ./Server/RemoteCallTypes.hs 65

188−ExecuteAutoMergeToHead ./Server/RemoteCallTypes.hs 65

189−ExecuteDatabaseContextExpr ./Server/RemoteCallTypes.hs 21

190−ExecuteDatabaseContextExpr ./Server/RemoteCallTypes.hs 21

191−ExecuteDatabaseContextFunction ./Base.hs 327

192−ExecuteDatabaseContextIOExpr ./Server/RemoteCallTypes.hs 23

193−ExecuteDatabaseContextIOExpr ./Server/RemoteCallTypes.hs 23

194−ExecuteGraphExpr ./Server/RemoteCallTypes.hs 25

195−ExecuteGraphExpr ./Server/RemoteCallTypes.hs 25

196−ExecuteHeadName ./Server/RemoteCallTypes.hs 29

197−ExecuteHeadName ./Server/RemoteCallTypes.hs 29

198−ExecuteRelationalExpr ./Server/RemoteCallTypes.hs 19

199−ExecuteRelationalExpr ./Server/RemoteCallTypes.hs 19

200−ExecuteSchemaExpr ./Server/RemoteCallTypes.hs 33

201−ExecuteSchemaExpr ./Server/RemoteCallTypes.hs 33

202−ExecuteSetCurrentSchema ./Server/RemoteCallTypes.hs 35

203−ExecuteSetCurrentSchema ./Server/RemoteCallTypes.hs 35

204−ExecuteTransGraphRelationalExpr ./Server/RemoteCallTypes.hs 27

205−ExecuteTransGraphRelationalExpr ./Server/RemoteCallTypes.hs 27

206−ExecuteTypeForRelationalExpr ./Server/RemoteCallTypes.hs 31

207−ExecuteTypeForRelationalExpr ./Server/RemoteCallTypes.hs 31

208−ExportError ./Error.hs 84

209−Extend ./Base.hs 211

210−ExtendTupleExpr ./Base.hs 421

211−ExtendTupleExprBase ./Base.hs 418

212−FailedToFindTransactionError ./Error.hs 46

213−Filter ./Base.hs 206

214−Finite ./Base.hs 172

215−FsyncDiskSync ./Persist.hs 49

216−FuncName ./ScriptSession.hs 194

217−FunctionArgumentCountMismatchError ./Error.hs 68

218−FunctionAtomExpr ./Base.hs 410

219−FunctionNameInUseError ./Error.hs 65

220−FunctionNameNotInUseError ./Error.hs 66

221−FunctionalDependency ./FunctionalDependency.hs 5

222−FunctionalDependency ./FunctionalDependency.hs 5

223−GhcPkgPath ./Client.hs 168

224−HeadName ./Base.hs 360

225−HeadNameSwitchingHeadProhibitedError ./Error.hs 36

226−HeaderAttributeMismatchError ./Relation/Parse/CSV.hs 28

227−Hostname ./Client.hs 155

228−IOExceptionError ./Client.hs 245

229−ImportError ./Error.hs 83

230−ImproperDatabaseStateError ./Error.hs 97

231−InProcessConnection ./Client.hs 240

232−InProcessConnectionConf ./Client.hs 223

233−InProcessConnectionConf ./Client.hs 223

234−InProcessConnectionInfo ./Client.hs 181

235−IncDepName ./Base.hs 291

236−InclusionDependencies ./Base.hs 259

237−InclusionDependency ./Base.hs 294

238−InclusionDependency ./Base.hs 294

239−InclusionDependencyCheckError ./Error.hs 28

240−InclusionDependencyNameInUseError ./Error.hs 29

241−InclusionDependencyNameNotInUseError ./Error.hs 30

242−IncompletelyDefinedAtomTypeWithConstructorError ./Error.hs 63

243−Insert ./Base.hs 309

244−IntAtom ./Base.hs 31

245−IntAtomType ./Base.hs 67

246−IntegerAtom ./Base.hs 30

247−IntegerAtomType ./Base.hs 68

248−IntersectAttributeNames ./Base.hs 467

249−InvalidAtomTypeName ./Error.hs 72

250−InvalidAttributeCountError ./Relation/Show/Gnuplot.hs 20

251−InvalidAttributeTypeError ./Relation/Show/Gnuplot.hs 21

252−InvalidDirectoryError ./Error.hs 102

253−InvalidIntBoundError ./AtomFunctionError.hs 12

254−InvalidIntervalBoundariesError ./AtomFunctionError.hs 11

255−InvalidIntervalOrderingError ./AtomFunctionError.hs 10

256−InvalidMergeStrategyError ./Error.hs 118

257−InvertedAttributeNames ./Base.hs 465

258−IsoRename ./Base.hs 275

259−IsoRestrict ./Base.hs 274

260−IsoUnion ./Base.hs 276

261−JumpToHead ./TransactionGraph.hs 47

262−JumpToTransaction ./TransactionGraph.hs 48

263−LoadAtomFunctions ./Base.hs 337

264−LoadDatabaseContextFunctions ./Base.hs 339

265−LoadFunctionError ./Error.hs 88

266−LoadSymbolError ./ScriptSession.hs 196

267−LoadSymbolError ./ScriptSession.hs 196

268−LockFile ./FileLock.hs 25

269−LockFile ./FileLock.hs 70

270−LockFile ./FileLock.hs 70

271−LockFileHash ./TransactionGraph/Persist.hs 34

272−LockType ./FileLock.hs 94

273−Login ./Server/RemoteCallTypes.hs 14

274−Login ./Server/RemoteCallTypes.hs 14

275−LoginError ./Client.hs 247

276−Logout ./Server/RemoteCallTypes.hs 17

277−Logout ./Server/RemoteCallTypes.hs 17

278−MergeError ./Error.hs 115

279−MergePreference ./TransactionGraph/Merge.hs 12

280−MergeStrategy ./Base.hs 495

281−MergeTransactionError ./Error.hs 86

282−MergeTransactions ./TransactionGraph.hs 52

283−MissingTransactionError ./Error.hs 103

284−ModName ./ScriptSession.hs 193

285−MultipleErrors ./Error.hs 99

286−MultipleExpr ./Base.hs 329

287−NakedAtomExpr ./Base.hs 409

288−NakedAttributeExpr ./Base.hs 484

289−NewTransactionMayNotHaveChildrenError ./Error.hs 39

290−NewTransactionMissingParentError ./Error.hs 41

291−NoCommonTransactionAncestorError ./Error.hs 33

292−NoDiskSync ./Persist.hs 49

293−NoOperation ./Base.hs 305

294−NoPersistence ./Base.hs 475

295−NoSuchAttributeNamesError ./Error.hs 15

296−NoSuchDataConstructorError ./Error.hs 70

297−NoSuchDatabaseByNameError ./Client.hs 246

298−NoSuchFunctionError ./Error.hs 48

299−NoSuchHeadNameError ./Error.hs 37

300−NoSuchSessionError ./Error.hs 45

301−NoSuchTransactionError ./Error.hs 34

302−NoSuchTypeConstructorError ./Error.hs 71

303−NoSuchTypeConstructorName ./Error.hs 49

304−NotEquals ./Base.hs 210

305−NotPredicate ./Base.hs 350

306−Notification ./Base.hs 221

307−Notification ./Base.hs 221

308−NotificationCallback ./Client.hs 162

309−NotificationMessage ./Client.hs 187

310−NotificationMessage ./Client.hs 187

311−NotificationName ./Base.hs 217

312−NotificationNameInUseError ./Error.hs 81

313−NotificationNameNotInUseError ./Error.hs 82

314−Notifications ./Base.hs 218

315−ObjFunctionName ./Base.hs 333

316−ObjModuleName ./Base.hs 332

317−OpenInterval ./DataTypes/Interval.hs 12

318−OrPredicate ./Base.hs 349

319−OtherScriptCompilationError ./Error.hs 130

320−ParentCountTraversalError ./Error.hs 40

321−ParseError ./Error.hs 31

322−PersistenceError ./Error.hs 102

323−PersistenceStrategy ./Base.hs 475

324−PlotError ./Relation/Show/Gnuplot.hs 20

325−Port ./Client.hs 157

326−PrecompiledFunctionRemoveError ./Error.hs 79

327−PredicateExpressionError ./Error.hs 32

328−PreferFirst ./TransactionGraph/Merge.hs 12

329−PreferNeither ./TransactionGraph/Merge.hs 12

330−PreferSecond ./TransactionGraph/Merge.hs 12

331−PreferredHeadMissingMergeError ./Error.hs 116

332−PrimitiveTypeConstructor ./Base.hs 238

333−PrimitiveTypeConstructorDef ./Base.hs 232

334−ProcessDiedError ./Error.hs 143

335−ProjectM36.Arbitrary ./Arbitrary.hs 4

336−ProjectM36.Atom ./Atom.hs 1

337−ProjectM36.AtomFunction ./AtomFunction.hs 1

338−ProjectM36.AtomFunctionBody ./AtomFunctionBody.hs 3

339−ProjectM36.AtomFunctionError ./AtomFunctionError.hs 2

340−ProjectM36.AtomFunctionUtils ./AtomFunctionUtils.hs 2

341−ProjectM36.AtomFunctions.Basic ./AtomFunctions/Basic.hs 2

342−ProjectM36.AtomFunctions.Primitive ./AtomFunctions/Primitive.hs 1

343−ProjectM36.AtomType ./AtomType.hs 1

344−ProjectM36.Atomable ./Atomable.hs 2

345−ProjectM36.Attribute ./Attribute.hs 1

346−ProjectM36.AttributeExpr ./AttributeExpr.hs 1

347−ProjectM36.AttributeNames ./AttributeNames.hs 1

348−ProjectM36.Base ./Base.hs 4

349−ProjectM36.Client ./Client.hs 7

350−ProjectM36.Client.Simple ./Client/Simple.hs 3

351−ProjectM36.DataConstructorDef ./DataConstructorDef.hs 1

352−ProjectM36.DataTypes.Basic ./DataTypes/Basic.hs 2

353−ProjectM36.DataTypes.ByteString ./DataTypes/ByteString.hs 1

354−ProjectM36.DataTypes.DateTime ./DataTypes/DateTime.hs 1

355−ProjectM36.DataTypes.Day ./DataTypes/Day.hs 1

356−ProjectM36.DataTypes.Either ./DataTypes/Either.hs 1

357−ProjectM36.DataTypes.Interval ./DataTypes/Interval.hs 2

358−ProjectM36.DataTypes.List ./DataTypes/List.hs 1

359−ProjectM36.DataTypes.Maybe ./DataTypes/Maybe.hs 1

360−ProjectM36.DataTypes.Primitive ./DataTypes/Primitive.hs 1

361−ProjectM36.DatabaseContext ./DatabaseContext.hs 1

362−ProjectM36.DatabaseContextFunction ./DatabaseContextFunction.hs 1

363−ProjectM36.DatabaseContextFunctionError ./DatabaseContextFunctionError.hs 2

364−ProjectM36.DatabaseContextFunctionUtils ./DatabaseContextFunctionUtils.hs 1

365−ProjectM36.DateExamples ./DateExamples.hs 1

366−ProjectM36.DisconnectedTransaction ./DisconnectedTransaction.hs 1

367−ProjectM36.Error ./Error.hs 2

368−ProjectM36.FSType ./FSType.hs 5

369−ProjectM36.FileLock ./FileLock.hs 4

370−ProjectM36.FunctionalDependency ./FunctionalDependency.hs 1

371−ProjectM36.InclusionDependency ./InclusionDependency.hs 1

372−ProjectM36.IsomorphicSchema ./IsomorphicSchema.hs 2

373−ProjectM36.Key ./Key.hs 1

374−ProjectM36.MiscUtils ./MiscUtils.hs 1

375−ProjectM36.Notifications ./Notifications.hs 1

376−ProjectM36.Persist ./Persist.hs 3

377−ProjectM36.Relation ./Relation.hs 2

378−ProjectM36.Relation.Parse.CSV ./Relation/Parse/CSV.hs 1

379−ProjectM36.Relation.Show.CSV ./Relation/Show/CSV.hs 2

380−ProjectM36.Relation.Show.Gnuplot ./Relation/Show/Gnuplot.hs 1

381−ProjectM36.Relation.Show.HTML ./Relation/Show/HTML.hs 1

382−ProjectM36.Relation.Show.Term ./Relation/Show/Term.hs 2

383−ProjectM36.RelationalExpression ./RelationalExpression.hs 2

384−ProjectM36.ScriptSession ./ScriptSession.hs 2

385−ProjectM36.Server ./Server.hs 2

386−ProjectM36.Server.Config ./Server/Config.hs 1

387−ProjectM36.Server.EntryPoints ./Server/EntryPoints.hs 1

388−ProjectM36.Server.ParseArgs ./Server/ParseArgs.hs 1

389−ProjectM36.Server.RemoteCallTypes ./Server/RemoteCallTypes.hs 2

390−ProjectM36.Session ./Session.hs 1

391−ProjectM36.Sessions ./Sessions.hs 1

392−ProjectM36.StaticOptimizer ./StaticOptimizer.hs 1

393−ProjectM36.TransGraphRelationalExpression ./TransGraphRelationalExpression.hs 4

394−ProjectM36.Transaction ./Transaction.hs 1

395−ProjectM36.Transaction.Persist ./Transaction/Persist.hs 1

396−ProjectM36.TransactionGraph ./TransactionGraph.hs 2

397−ProjectM36.TransactionGraph.Merge ./TransactionGraph/Merge.hs 2

398−ProjectM36.TransactionGraph.Persist ./TransactionGraph/Persist.hs 1

399−ProjectM36.TransactionGraph.Show ./TransactionGraph/Show.hs 1

400−ProjectM36.TransactionGraph.Show.Dot ./TransactionGraph/Show/Dot.hs 1

401−ProjectM36.Tuple ./Tuple.hs 1

402−ProjectM36.TupleSet ./TupleSet.hs 1

403−ProjectM36.Tupleable ./Tupleable.hs 8

404−ProjectM36.TypeConstructor ./TypeConstructor.hs 1

405−ProjectM36.TypeConstructorDef ./TypeConstructorDef.hs 1

406−ProjectM36.WCWidth ./WCWidth.hs 1

407−ProjectM36.Win32Handle ./Win32Handle.hs 2

408−ROTransactionGraphOperator ./TransactionGraph.hs 61

409−Range ./Base.hs 334

410−ReadLock ./FileLock.hs 94

411−RecordAtom ./Relation/Show/CSV.hs 41

412−RecordAtom ./Relation/Show/CSV.hs 41

413−RecordRelationTuple ./Relation/Show/CSV.hs 33

414−RecordRelationTuple ./Relation/Show/CSV.hs 33

415−Reference ./Base.hs 185

416−Reference ./Base.hs 190

417−RelError ./Client/Simple.hs 94

418−RelVarAlreadyDefinedError ./Error.hs 26

419−RelVarInReferencedMoreThanOnce ./Error.hs 136

420−RelVarName ./Base.hs 175

421−RelVarNotDefinedError ./Error.hs 25

422−RelVarOutReferencedMoreThanOnce ./Error.hs 137

423−RelVarReferencesMissing ./Error.hs 135

424−Relation ./Base.hs 155

425−Relation ./Base.hs 155

426−RelationAtom ./Base.hs 38

427−RelationAtomExpr ./Base.hs 411

428−RelationAtomType ./Base.hs 75

429−RelationAtomTypeConstructor ./Base.hs 239

430−RelationCardinality ./Base.hs 172

431−RelationTuple ./Base.hs 141

432−RelationTuple ./Base.hs 141

433−RelationTupleSet ./Base.hs 113

434−RelationTupleSet ./Base.hs 113

435−RelationTypeMismatchError ./Error.hs 27

436−RelationValuedAttributesNotSupportedError ./Error.hs 80

437−RelationVariables ./Base.hs 260

438−RelationalError ./Error.hs 15

439−RelationalExpr ./Base.hs 177

440−RelationalExprAttributeNames ./Base.hs 468

441−RelationalExprBase ./Base.hs 180

442−RelationalExprPredicate ./Base.hs 351

443−RelationalExprState ./RelationalExpression.hs 98

444−RelationalExprStateElems ./RelationalExpression.hs 53

445−RelationalExprStateTupleElems ./RelationalExpression.hs 53

446−RemoteProcessConnection ./Client.hs 241

447−RemoteProcessConnectionConf ./Client.hs 234

448−RemoteProcessConnectionConf ./Client.hs 234

449−RemoteProcessDiedException ./Client.hs 170

450−RemoteProcessDiedException ./Client.hs 170

451−RemoveDatabaseContextFunction ./Base.hs 325

452−RemoveInclusionDependency ./Base.hs 314

453−RemoveNotification ./Base.hs 317

454−RemoveSubschema ./IsomorphicSchema.hs 31

455−RemoveTypeConstructor ./Base.hs 320

456−Rename ./Base.hs 198

457−Reply ./Server/EntryPoints.hs 31

458−RequestTimeoutError ./Error.hs 142

459−RequestTimeoutException ./Client.hs 175

460−RequestTimeoutException ./Client.hs 175

461−RestrictionFilter ./Relation.hs 206

462−RestrictionPredicateExpr ./Base.hs 343

463−RestrictionPredicateExprBase ./Base.hs 346

464−ResultAccum ./RelationalExpression.hs 80

465−ResultAccum ./RelationalExpression.hs 80

466−ResultAccumFunc ./RelationalExpression.hs 78

467−ResultAccumName ./RelationalExpression.hs 76

468−RetrieveAtomFunctionSummary ./Server/RemoteCallTypes.hs 55

469−RetrieveAtomFunctionSummary ./Server/RemoteCallTypes.hs 55

470−RetrieveAtomTypesAsRelation ./Server/RemoteCallTypes.hs 51

471−RetrieveAtomTypesAsRelation ./Server/RemoteCallTypes.hs 51

472−RetrieveCurrentSchemaName ./Server/RemoteCallTypes.hs 59

473−RetrieveCurrentSchemaName ./Server/RemoteCallTypes.hs 59

474−RetrieveDatabaseContextFunctionSummary ./Server/RemoteCallTypes.hs 57

475−RetrieveDatabaseContextFunctionSummary ./Server/RemoteCallTypes.hs 57

476−RetrieveHeadTransactionId ./Server/RemoteCallTypes.hs 43

477−RetrieveHeadTransactionId ./Server/RemoteCallTypes.hs 43

478−RetrieveInclusionDependencies ./Server/RemoteCallTypes.hs 37

479−RetrieveInclusionDependencies ./Server/RemoteCallTypes.hs 37

480−RetrievePlanForDatabaseContextExpr ./Server/RemoteCallTypes.hs 39

481−RetrievePlanForDatabaseContextExpr ./Server/RemoteCallTypes.hs 39

482−RetrieveRelationVariableSummary ./Server/RemoteCallTypes.hs 53

483−RetrieveRelationVariableSummary ./Server/RemoteCallTypes.hs 53

484−RetrieveSessionIsDirty ./Server/RemoteCallTypes.hs 63

485−RetrieveSessionIsDirty ./Server/RemoteCallTypes.hs 63

486−RetrieveTransactionGraph ./Server/RemoteCallTypes.hs 41

487−RetrieveTransactionGraph ./Server/RemoteCallTypes.hs 41

488−RetrieveTypeConstructorMapping ./Server/RemoteCallTypes.hs 67

489−RetrieveTypeConstructorMapping ./Server/RemoteCallTypes.hs 67

490−Return ./Base.hs 200

491−Returns ./Base.hs 208

492−Rollback ./TransactionGraph.hs 54

493−RootTransactionTraversalError ./Error.hs 35

494−Schema ./Base.hs 271

495−Schema ./Base.hs 271

496−SchemaCreationError ./Error.hs 95

497−SchemaError ./Error.hs 135

498−SchemaExpr ./IsomorphicSchema.hs 30

499−SchemaIsomorph ./Base.hs 274

500−SchemaIsomorphs ./Base.hs 280

501−SchemaName ./Base.hs 262

502−Schemas ./Base.hs 267

503−Schemas ./Base.hs 267

504−ScriptCompilationDisabledError ./Error.hs 129

505−ScriptCompilationError ./Error.hs 127

506−ScriptError ./Error.hs 87

507−ScriptSession ./ScriptSession.hs 36

508−ScriptSession ./ScriptSession.hs 36

509−ScriptSessionError ./ScriptSession.hs 42

510−ScriptSessionLoadError ./ScriptSession.hs 42

511−SelectedBranchMergeStrategy ./Base.hs 501

512−SelectedHeadMismatchMergeError ./Error.hs 115

513−ServerConfig ./Server/Config.hs 4

514−ServerConfig ./Server/Config.hs 4

515−ServerError ./Error.hs 142

516−Session ./Session.hs 12

517−Session ./Session.hs 12

518−SessionId ./Session.hs 7

519−SessionIdInUseError ./Error.hs 44

520−Sessions ./Sessions.hs 12

521−SetupDatabaseDirectoryError ./Client.hs 244

522−ShowGraph ./TransactionGraph.hs 61

523−StrategyViolatesComponentMergeError ./Error.hs 120

524−StrategyViolatesConstraintMergeError ./Error.hs 117

525−StrategyViolatesTypeConstructorMergeError ./Error.hs 122

526−StringType ./Base.hs 27

527−SubschemaNameInUseError ./Error.hs 92

528−SubschemaNameNotInUseError ./Error.hs 93

529−Subschemas ./Base.hs 264

530−Table ./Relation/Show/Term.hs 53

531−TermSize ./Relation/Show/Term.hs 48

532−TermSize ./Relation/Show/Term.hs 48

533−TestTimeout ./Server/RemoteCallTypes.hs 61

534−TestTimeout ./Server/RemoteCallTypes.hs 61

535−TextAtom ./Base.hs 33

536−TextAtomType ./Base.hs 70

537−Timeout ./Server/EntryPoints.hs 29

538−TransGraphAtomExpr ./TransGraphRelationalExpression.hs 37

539−TransGraphAttributeExpr ./TransGraphRelationalExpression.hs 41

540−TransGraphAttributeNames ./TransGraphRelationalExpression.hs 21

541−TransGraphExtendTupleExpr ./TransGraphRelationalExpression.hs 25

542−TransGraphRelationalExpr ./TransGraphRelationalExpression.hs 17

543−TransGraphRestrictionPredicateExpr ./TransGraphRelationalExpression.hs 33

544−TransGraphTupleExpr ./TransGraphRelationalExpression.hs 29

545−Transaction ./Base.hs 383

546−Transaction ./Base.hs 383

547−TransactionCancelled ./Client/Simple.hs 46

548−TransactionCancelled ./Client/Simple.hs 46

549−TransactionGraph ./Base.hs 365

550−TransactionGraph ./Base.hs 365

551−TransactionGraphCycleError ./Error.hs 43

552−TransactionGraphOperator ./TransactionGraph.hs 47

553−TransactionHeads ./Base.hs 362

554−TransactionId ./Base.hs 381

555−TransactionIdHeadBacktrack ./TransactionGraph.hs 40

556−TransactionIdHeadNameLookup ./TransactionGraph.hs 36

557−TransactionIdHeadParentBacktrack ./TransactionGraph.hs 40

558−TransactionIdInUseError ./Error.hs 47

559−TransactionIdLookup ./TransactionGraph.hs 35

560−TransactionIdLookup ./TransactionGraph.hs 35

561−TransactionInfo ./Base.hs 374

562−TransactionInfo ./Base.hs 374

563−TransactionIsNotAHeadError ./Error.hs 42

564−TransactionRolledBack ./Client/Simple.hs 95

565−TruePredicate ./Base.hs 347

566−TupleAttributeCountMismatchError ./Error.hs 16

567−TupleAttributeTypeMismatchError ./Error.hs 19

568−TupleExpr ./Base.hs 488

569−TupleExpr ./Base.hs 493

570−TupleExprBase ./Base.hs 488

571−Tupleable ./Tupleable.hs 122

572−TupleableG ./Tupleable.hs 138

573−TupleableG ./Tupleable.hs 138

574−TypeCheckCompilationError ./Error.hs 127

575−TypeConstructor ./Base.hs 236

576−TypeConstructorArgName ./Base.hs 246

577−TypeConstructorAtomTypeMismatch ./Error.hs 50

578−TypeConstructorBase ./Base.hs 237

579−TypeConstructorDef ./Base.hs 231

580−TypeConstructorMapping ./Base.hs 243

581−TypeConstructorName ./Base.hs 245

582−TypeConstructorNameMismatch ./Error.hs 52

583−TypeConstructorTypeVarMissing ./Error.hs 57

584−TypeConstructorTypeVarsMismatch ./Error.hs 56

585−TypeConstructorTypeVarsTypesMismatch ./Error.hs 58

586−TypeVarMap ./Base.hs 81

587−TypeVarName ./Base.hs 228

588−TypeVariable ./Base.hs 240

589−TypeVariableType ./Base.hs 77

590−Undefine ./Base.hs 307

591−UnhandledExceptionError ./Error.hs 85

592−UnionAttributeNames ./Base.hs 466

593−UnionMergeStrategy ./Base.hs 497

594−UnionPreferMergeStrategy ./Base.hs 499

595−UnknownHeadError ./Error.hs 38

596−Update ./Base.hs 311

597−WalkBackToTime ./TransactionGraph.hs 49

598−WithTCMap ./Arbitrary.hs 114

599−WriteLock ./FileLock.hs 94

600−WrongDatabaseFormatVersionError ./Error.hs 104

601−a ./Arbitrary.hs 114

602−a ./RelationalExpression.hs 86

603−a ./Server/EntryPoints.hs 31

604−addAttribute ./Attribute.hs 36

605−addAttribute ./Attribute.hs 37

606−addAttributes ./Attribute.hs 50

607−addAttributes ./Attribute.hs 51

608−addBranch ./TransactionGraph.hs 123

609−addBranch ./TransactionGraph.hs 124

610−addClientNode ./Client.hs 412

611−addClientNode ./Client.hs 413

612−addDisconnectedTransaction ./TransactionGraph.hs 130

613−addDisconnectedTransaction ./TransactionGraph.hs 131

614−addImport ./ScriptSession.hs 141

615−addImport ./ScriptSession.hs 142

616−addRow ./Relation/Show/Term.hs 55

617−addRow ./Relation/Show/Term.hs 56

618−addTransactionToGraph ./TransactionGraph.hs 134

619−addTransactionToGraph ./TransactionGraph.hs 135

620−all ./AttributeNames.hs 9

621−all ./AttributeNames.hs 10

622−applyRelationVariablesSchemaIsomorphs ./IsomorphicSchema.hs 279

623−applyRelationVariablesSchemaIsomorphs ./IsomorphicSchema.hs 280

624−applyRelationalExprSchemaIsomorphs ./IsomorphicSchema.hs 229

625−applyRelationalExprSchemaIsomorphs ./IsomorphicSchema.hs 230

626−applySchemaIsomorphsToDatabaseContext ./IsomorphicSchema.hs 283

627−applySchemaIsomorphsToDatabaseContext ./IsomorphicSchema.hs 284

628−applyStaticDatabaseOptimization ./StaticOptimizer.hs 137

629−applyStaticDatabaseOptimization ./StaticOptimizer.hs 138

630−applyStaticJoinElimination ./StaticOptimizer.hs 321

631−applyStaticJoinElimination ./StaticOptimizer.hs 322

632−applyStaticPredicateOptimization ./StaticOptimizer.hs 218

633−applyStaticPredicateOptimization ./StaticOptimizer.hs 219

634−applyStaticRelationalOptimization ./StaticOptimizer.hs 32

635−applyStaticRelationalOptimization ./StaticOptimizer.hs 33

636−applyStaticRestrictionCollapse ./StaticOptimizer.hs 374

637−applyStaticRestrictionCollapse ./StaticOptimizer.hs 375

638−applyStaticRestrictionPushdown ./StaticOptimizer.hs 417

639−applyStaticRestrictionPushdown ./StaticOptimizer.hs 418

640−arbitrary' ./Arbitrary.hs 18

641−arbitrary' ./Arbitrary.hs 19

642−arbitrary' ./Base.hs 590

643−arbitrary' ./Base.hs 591

644−arbitraryRel ./Base.hs 577

645−arbitraryRelation ./Arbitrary.hs 104

646−arbitraryRelation ./Arbitrary.hs 105

647−arbitraryRelationTuple ./Arbitrary.hs 89

648−arbitraryRelationTuple ./Arbitrary.hs 90

649−arbitraryRelationTuple ./Base.hs 573

650−arbitraryWithRange ./Arbitrary.hs 99

651−arbitraryWithRange ./Arbitrary.hs 100

652−arguments ./TypeConstructor.hs 10

653−arguments ./TypeConstructor.hs 11

654−arity ./Attribute.hs 11

655−arity ./Attribute.hs 12

656−arity ./Relation.hs 116

657−arity ./Relation.hs 117

658−asList ./Base.hs 113

659−atomCompare ./DataTypes/Interval.hs 57

660−atomCompare ./DataTypes/Interval.hs 58

661−atomForAttributeName ./Tuple.hs 44

662−atomForAttributeName ./Tuple.hs 45

663−atomFuncBody ./Base.hs 448

664−atomFuncName ./Base.hs 446

665−atomFuncType ./Base.hs 447

666−atomFuncsPath ./Transaction/Persist.hs 45

667−atomFuncsPath ./Transaction/Persist.hs 46

668−atomFunctionBodyType ./ScriptSession.hs 38

669−atomFunctionForName ./AtomFunction.hs 17

670−atomFunctionForName ./AtomFunction.hs 18

671−atomFunctionScript ./AtomFunction.hs 63

672−atomFunctionScript ./AtomFunction.hs 64

673−atomFunctions ./Base.hs 285

674−atomFunctionsAsRelation ./AtomFunction.hs 77

675−atomFunctionsAsRelation ./AtomFunction.hs 78

676−atomFunctionsAsRelation ./Client.hs 919

677−atomFunctionsAsRelation ./Client.hs 920

678−atomToText ./Atom.hs 12

679−atomToText ./Atom.hs 13

680−atomType ./Attribute.hs 26

681−atomType ./Attribute.hs 27

682−atomTypeForAtom ./DataTypes/Primitive.hs 31

683−atomTypeForAtom ./DataTypes/Primitive.hs 32

684−atomTypeForAttributeExpr ./AtomType.hs 169

685−atomTypeForAttributeExpr ./AtomType.hs 170

686−atomTypeForAttributeName ./Attribute.hs 67

687−atomTypeForAttributeName ./Attribute.hs 68

688−atomTypeForDataConstructor ./AtomType.hs 53

689−atomTypeForDataConstructor ./AtomType.hs 54

690−atomTypeForDataConstructorDefArg ./AtomType.hs 44

691−atomTypeForDataConstructorDefArg ./AtomType.hs 45

692−atomTypeForDataConstructorName ./AtomType.hs 36

693−atomTypeForDataConstructorName ./AtomType.hs 38

694−atomTypeForName ./Relation.hs 36

695−atomTypeForName ./Relation.hs 37

696−atomTypeForTypeConstructor ./AtomType.hs 142

697−atomTypeForTypeConstructor ./AtomType.hs 143

698−atomTypeForTypeConstructorValidate ./AtomType.hs 147

699−atomTypeForTypeConstructorValidate ./AtomType.hs 148

700−atomTypeVars ./Base.hs 626

701−atomTypeVars ./Base.hs 627

702−atomTypeVerify ./AtomType.hs 268

703−atomTypeVerify ./AtomType.hs 269

704−atomTypes ./Attribute.hs 29

705−atomTypes ./Attribute.hs 30

706−atomTypesAsRelation ./Client.hs 975

707−atomTypesAsRelation ./Client.hs 976

708−atomTypesList ./Attribute.hs 32

709−atomTypesList ./Attribute.hs 33

710−atomicRename ./Persist.hs 66

711−atomicRename ./Persist.hs 67

712−atomsForAttributeNames ./Tuple.hs 58

713−atomsForAttributeNames ./Tuple.hs 59

714−attrExprTypeVars ./Base.hs 622

715−attrExprTypeVars ./Base.hs 623

716−attrTypeVars ./Base.hs 602

717−attrTypeVars ./Base.hs 603

718−attributeForName ./Attribute.hs 72

719−attributeForName ./Attribute.hs 73

720−attributeForName ./Relation.hs 30

721−attributeForName ./Relation.hs 31

722−attributeName ./Attribute.hs 23

723−attributeName ./Attribute.hs 24

724−attributeName ./AttributeExpr.hs 5

725−attributeName ./AttributeExpr.hs 6

726−attributeNameSet ./Attribute.hs 92

727−attributeNameSet ./Attribute.hs 93

728−attributeNames ./Attribute.hs 95

729−attributeNames ./Attribute.hs 96

730−attributeNames ./Relation.hs 27

731−attributeNames ./Relation.hs 28

732−attributeNamesContained ./Attribute.hs 102

733−attributeNamesContained ./Attribute.hs 103

734−attributeNamesNotContained ./Attribute.hs 112

735−attributeNamesNotContained ./Attribute.hs 113

736−attributes ./Relation.hs 24

737−attributes ./Relation.hs 25

738−attributesAsHTML ./Relation/Show/HTML.hs 14

739−attributesAsHTML ./Relation/Show/HTML.hs 15

740−attributesAsMap ./Attribute.hs 143

741−attributesAsMap ./Attribute.hs 144

742−attributesContained ./Attribute.hs 99

743−attributesContained ./Attribute.hs 100

744−attributesDifference ./Attribute.hs 123

745−attributesDifference ./Attribute.hs 124

746−attributesEqual ./Attribute.hs 140

747−attributesEqual ./Attribute.hs 141

748−attributesEqual ./Base.hs 104

749−attributesEqual ./Base.hs 105

750−attributesForNames ./Attribute.hs 87

751−attributesForNames ./Attribute.hs 88

752−attributesForNames ./Relation.hs 33

753−attributesForNames ./Relation.hs 34

754−attributesForRelval ./Relation.hs 199

755−attributesForRelval ./Relation.hs 200

756−attributesFromList ./Attribute.hs 20

757−attributesFromList ./Attribute.hs 21

758−autoMergeToHead ./Client.hs 587

759−autoMergeToHead ./Client.hs 588

760−autoMergeToHead ./TransactionGraph.hs 521

761−autoMergeToHead ./TransactionGraph.hs 522

762−backtrackGraph ./TransactionGraph.hs 484

763−backtrackGraph ./TransactionGraph.hs 486

764−basicAtomFunctions ./AtomFunctions/Basic.hs 15

765−basicAtomFunctions ./AtomFunctions/Basic.hs 16

766−basicDatabaseContext ./DatabaseContext.hs 27

767−basicDatabaseContext ./DatabaseContext.hs 28

768−basicDatabaseContextFunctions ./DatabaseContextFunction.hs 34

769−basicDatabaseContextFunctions ./DatabaseContextFunction.hs 35

770−basicTypeConstructorMapping ./DataTypes/Basic.hs 10

771−basicTypeConstructorMapping ./DataTypes/Basic.hs 11

772−basicZero ./WCWidth.hs 403

773−basicZero ./WCWidth.hs 404

774−bindHost ./Server/Config.hs 7

775−bindPort ./Server/Config.hs 8

776−boolAtomNot ./AtomFunctions/Primitive.hs 65

777−boolAtomNot ./AtomFunctions/Primitive.hs 66

778−bootstrapDatabaseDir ./TransactionGraph/Persist.hs 94

779−bootstrapDatabaseDir ./TransactionGraph/Persist.hs 95

780−bootstrapTransactionGraph ./TransactionGraph.hs 64

781−bootstrapTransactionGraph ./TransactionGraph.hs 65

782−boxBB ./Relation/Show/Term.hs 35

783−boxBB ./Relation/Show/Term.hs 36

784−boxBL ./Relation/Show/Term.hs 24

785−boxBL ./Relation/Show/Term.hs 25

786−boxBR ./Relation/Show/Term.hs 26

787−boxBR ./Relation/Show/Term.hs 27

788−boxC ./Relation/Show/Term.hs 38

789−boxC ./Relation/Show/Term.hs 39

790−boxH ./Relation/Show/Term.hs 17

791−boxH ./Relation/Show/Term.hs 18

792−boxLB ./Relation/Show/Term.hs 29

793−boxLB ./Relation/Show/Term.hs 30

794−boxRB ./Relation/Show/Term.hs 31

795−boxRB ./Relation/Show/Term.hs 32

796−boxTB ./Relation/Show/Term.hs 33

797−boxTB ./Relation/Show/Term.hs 34

798−boxTL ./Relation/Show/Term.hs 20

799−boxTL ./Relation/Show/Term.hs 21

800−boxTR ./Relation/Show/Term.hs 22

801−boxTR ./Relation/Show/Term.hs 23

802−boxV ./Relation/Show/Term.hs 15

803−boxV ./Relation/Show/Term.hs 16

804−breakLines ./Relation/Show/Term.hs 71

805−breakLines ./Relation/Show/Term.hs 72

806−bytestringAtomFunctions ./DataTypes/ByteString.hs 9

807−bytestringAtomFunctions ./DataTypes/ByteString.hs 10

808−callTestTimeout_ ./Client.hs 1000

809−callTestTimeout_ ./Client.hs 1001

810−cancelTransaction ./Client/Simple.hs 123

811−cancelTransaction ./Client/Simple.hs 124

812−capitalizedIdentifier ./Relation/Parse/CSV.hs 128

813−capitalizedIdentifier ./Relation/Parse/CSV.hs 129

814−cardinality ./Relation.hs 122

815−cardinality ./Relation.hs 123

816−castInt ./AtomFunctions/Primitive.hs 93

817−castInt ./AtomFunctions/Primitive.hs 94

818−castInteger ./AtomFunctions/Primitive.hs 97

819−castInteger ./AtomFunctions/Primitive.hs 98

820−cellLocations ./Relation/Show/Term.hs 60

821−cellLocations ./Relation/Show/Term.hs 61

822−cellSizes ./Relation/Show/Term.hs 75

823−cellSizes ./Relation/Show/Term.hs 76

824−changeExpr ./Base.hs 222

825−checkConstraints ./RelationalExpression.hs 619

826−checkConstraints ./RelationalExpression.hs 620

827−checkFS ./Server/Config.hs 5

828−checkFSErrorMsg ./Server.hs 100

829−checkFSErrorMsg ./Server.hs 101

830−checkFSType ./Server.hs 83

831−checkFSType ./Server.hs 84

832−checkForOtherVersions ./TransactionGraph/Persist.hs 64

833−checkForOtherVersions ./TransactionGraph/Persist.hs 65

834−childTransactions ./TransactionGraph.hs 117

835−childTransactions ./TransactionGraph.hs 118

836−close ./Client.hs 423

837−close ./Client.hs 424

838−close ./Client/Simple.hs 68

839−close ./Client/Simple.hs 69

840−closeLockFile ./FileLock.hs 36

841−closeLockFile ./FileLock.hs 37

842−closeLockFile ./FileLock.hs 77

843−closeRemote_ ./Client.hs 442

844−closeRemote_ ./Client.hs 443

845−closeSession ./Client.hs 417

846−closeSession ./Client.hs 418

847−commit ./Client.hs 790

848−commit ./Client.hs 791

849−commitLock_ ./Client.hs 1020

850−commitLock_ ./Client.hs 1025

851−compileScript ./ScriptSession.hs 164

852−compileScript ./ScriptSession.hs 165

853−compiledAtomFunction ./AtomFunction.hs 33

854−compiledAtomFunction ./AtomFunction.hs 34

855−compiledAtomFunctionBody ./AtomFunctionBody.hs 6

856−compiledAtomFunctionBody ./AtomFunctionBody.hs 7

857−concreteDatabaseContext ./DisconnectedTransaction.hs 4

858−concreteDatabaseContext ./DisconnectedTransaction.hs 5

859−concreteDatabaseContext ./Session.hs 23

860−concreteDatabaseContext ./Session.hs 24

861−concreteDatabaseContext ./Transaction.hs 37

862−concreteDatabaseContext ./Transaction.hs 38

863−connectPersistentProjectM36 ./Client.hs 338

864−connectPersistentProjectM36 ./Client.hs 345

865−connectProjectM36 ./Client.hs 288

866−connectProjectM36 ./Client.hs 290

867−contextWithEmptyTupleSets ./RelationalExpression.hs 654

868−contextWithEmptyTupleSets ./RelationalExpression.hs 655

869−createArbitraryInterval ./Arbitrary.hs 116

870−createArbitraryInterval ./Arbitrary.hs 117

871−createIncDepsForIsomorph ./IsomorphicSchema.hs 306

872−createIncDepsForIsomorph ./IsomorphicSchema.hs 307

873−createInterval ./DataTypes/Interval.hs 76

874−createInterval ./DataTypes/Interval.hs 77

875−createLocalNode ./Client.hs 253

876−createLocalNode ./Client.hs 254

877−createMergeTransaction ./TransactionGraph.hs 322

878−createMergeTransaction ./TransactionGraph.hs 323

879−createNodeId ./Client.hs 200

880−createNodeId ./Client.hs 201

881−createScriptSession ./Client.hs 280

882−createScriptSession ./Client.hs 281

883−createScriptedAtomFunction ./AtomFunction.hs 68

884−createScriptedAtomFunction ./AtomFunction.hs 69

885−createScriptedDatabaseContextFunction ./DatabaseContextFunction.hs 60

886−createScriptedDatabaseContextFunction ./DatabaseContextFunction.hs 61

887−createSessionAtCommit ./Client.hs 376

888−createSessionAtCommit ./Client.hs 377

889−createSessionAtCommit_ ./Client.hs 382

890−createSessionAtCommit_ ./Client.hs 383

891−createSessionAtHead ./Client.hs 400

892−createSessionAtHead ./Client.hs 401

893−createUnionMergeTransaction ./TransactionGraph.hs 442

894−createUnionMergeTransaction ./TransactionGraph.hs 443

895−csvAsRelation ./Relation/Parse/CSV.hs 34

896−csvAsRelation ./Relation/Parse/CSV.hs 35

897−csvDecodeOptions ./Relation/Parse/CSV.hs 31

898−csvDecodeOptions ./Relation/Parse/CSV.hs 32

899−ctrlChars ./WCWidth.hs 413

900−ctrlChars ./WCWidth.hs 414

901−currentSchemaName ./Client.hs 511

902−currentSchemaName ./Client.hs 512

903−databaseContextAsDatabaseContextExpr ./DatabaseContext.hs 19

904−databaseContextAsDatabaseContextExpr ./DatabaseContext.hs 20

905−databaseContextExprDetailsFunc ./RelationalExpression.hs 36

906−databaseContextExprDetailsFunc ./RelationalExpression.hs 37

907−databaseContextExprForForeignKey ./Key.hs 41

908−databaseContextExprForForeignKey ./Key.hs 42

909−databaseContextExprForUniqueKey ./Key.hs 37

910−databaseContextExprForUniqueKey ./Key.hs 38

911−databaseContextExprMorph ./IsomorphicSchema.hs 186

912−databaseContextExprMorph ./IsomorphicSchema.hs 187

913−databaseContextFunctionForName ./DatabaseContextFunction.hs 20

914−databaseContextFunctionForName ./DatabaseContextFunction.hs 21

915−databaseContextFunctionReturnType ./DatabaseContextFunction.hs 55

916−databaseContextFunctionReturnType ./DatabaseContextFunction.hs 56

917−databaseContextFunctionScript ./DatabaseContextFunction.hs 51

918−databaseContextFunctionScript ./DatabaseContextFunction.hs 52

919−databaseContextFunctionsAsRelation ./Client.hs 931

920−databaseContextFunctionsAsRelation ./Client.hs 932

921−databaseContextFunctionsAsRelation ./DatabaseContextFunction.hs 66

922−databaseContextFunctionsAsRelation ./DatabaseContextFunction.hs 67

923−databaseName ./Server/Config.hs 6

924−dateExamples ./DateExamples.hs 12

925−dateExamples ./DateExamples.hs 13

926−dateTimeAtomFunctions ./DataTypes/DateTime.hs 7

927−dateTimeAtomFunctions ./DataTypes/DateTime.hs 8

928−dayAtomFunctions ./DataTypes/Day.hs 7

929−dayAtomFunctions ./DataTypes/Day.hs 8

930−dayTypeConstructor ./DataTypes/Primitive.hs 27

931−dayTypeConstructor ./DataTypes/Primitive.hs 28

932−dbcFuncBody ./Base.hs 518

933−dbcFuncName ./Base.hs 516

934−dbcFuncType ./Base.hs 517

935−dbcFuncsDir ./Transaction/Persist.hs 48

936−dbcFuncsDir ./Transaction/Persist.hs 49

937−dbcFunctionBodyType ./ScriptSession.hs 39

938−dbcFunctions ./Base.hs 286

939−dboxH ./Relation/Show/Term.hs 41

940−dboxH ./Relation/Show/Term.hs 42

941−dboxL ./Relation/Show/Term.hs 43

942−dboxL ./Relation/Show/Term.hs 44

943−dboxR ./Relation/Show/Term.hs 45

944−dboxR ./Relation/Show/Term.hs 46

945−defAtomtypes ./Base.hs 556

946−defAttributeNames ./Base.hs 555

947−defAttributes ./Base.hs 557

948−defaultDatabaseName ./Client.hs 208

949−defaultDatabaseName ./Client.hs 209

950−defaultHeadName ./Client.hs 212

951−defaultHeadName ./Client.hs 213

952−defaultRemoteConnectionInfo ./Client.hs 216

953−defaultRemoteConnectionInfo ./Client.hs 217

954−defaultSchemaName ./Session.hs 14

955−defaultSchemaName ./Session.hs 15

956−defaultServerConfig ./Server/Config.hs 15

957−defaultServerConfig ./Server/Config.hs 16

958−defaultServerPort ./Client.hs 204

959−defaultServerPort ./Client.hs 205

960−degree ./Relation.hs 119

961−degree ./Relation.hs 120

962−deleteAttributeName ./Attribute.hs 53

963−deleteAttributeName ./Attribute.hs 54

964−deleteRelVar ./RelationalExpression.hs 254

965−deleteRelVar ./RelationalExpression.hs 255

966−difference ./Relation.hs 225

967−difference ./Relation.hs 226

968−directoryFsync ./Persist.hs 103

969−directoryFsync ./Persist.hs 105

970−disconnectedTransaction ./Session.hs 17

971−disconnectedTransaction ./Session.hs 18

972−disconnectedTransactionIsDirty ./Client.hs 988

973−disconnectedTransactionIsDirty ./Client.hs 989

974−disconnectedTransaction_ ./Client.hs 1010

975−disconnectedTransaction_ ./Client.hs 1011

976−doubleTypeConstructor ./DataTypes/Primitive.hs 21

977−doubleTypeConstructor ./DataTypes/Primitive.hs 22

978−dupes ./MiscUtils.hs 4

979−dupes ./MiscUtils.hs 5

980−eitherAtomFunctions ./DataTypes/Either.hs 15

981−eitherAtomFunctions ./DataTypes/Either.hs 16

982−eitherAtomType ./DataTypes/Either.hs 7

983−eitherAtomType ./DataTypes/Either.hs 8

984−eitherTypeConstructorMapping ./DataTypes/Either.hs 10

985−eitherTypeConstructorMapping ./DataTypes/Either.hs 11

986−empty ./AttributeNames.hs 6

987−empty ./AttributeNames.hs 7

988−empty ./DatabaseContext.hs 10

989−empty ./DatabaseContext.hs 11

990−emptyAtomFunction ./AtomFunction.hs 26

991−emptyAtomFunction ./AtomFunction.hs 27

992−emptyAttributes ./Attribute.hs 14

993−emptyAttributes ./Attribute.hs 15

994−emptyDataConstructor ./DataConstructorDef.hs 5

995−emptyDataConstructor ./DataConstructorDef.hs 6

996−emptyDatabaseContextFunction ./DatabaseContextFunction.hs 13

997−emptyDatabaseContextFunction ./DatabaseContextFunction.hs 14

998−emptyNotificationCallback ./Client.hs 165

999−emptyNotificationCallback ./Client.hs 166

1000−emptyRelationWithAttrs ./Relation.hs 43

1001−emptyRelationWithAttrs ./Relation.hs 44

1002−emptyTransactionGraph ./TransactionGraph.hs 72

1003−emptyTransactionGraph ./TransactionGraph.hs 73

1004−emptyTuple ./Tuple.hs 17

1005−emptyTuple ./Tuple.hs 18

1006−emptyTupleSet ./TupleSet.hs 10

1007−emptyTupleSet ./TupleSet.hs 11

1008−evalAtomExpr ./RelationalExpression.hs 768

1009−evalAtomExpr ./RelationalExpression.hs 769

1010−evalAtomFunction ./AtomFunction.hs 39

1011−evalAtomFunction ./AtomFunction.hs 40

1012−evalAttrExpr ./RelationalExpression.hs 897

1013−evalAttrExpr ./RelationalExpression.hs 898

1014−evalAttributeNames ./RelationalExpression.hs 927

1015−evalAttributeNames ./RelationalExpression.hs 928

1016−evalDatabaseContextExpr ./RelationalExpression.hs 266

1017−evalDatabaseContextExpr ./RelationalExpression.hs 267

1018−evalDatabaseContextFunction ./DatabaseContextFunction.hs 28

1019−evalDatabaseContextFunction ./DatabaseContextFunction.hs 29

1020−evalDatabaseContextIOExpr ./RelationalExpression.hs 501

1021−evalDatabaseContextIOExpr ./RelationalExpression.hs 502

1022−evalGraphOp ./TransactionGraph.hs 208

1023−evalGraphOp ./TransactionGraph.hs 210

1024−evalRelationalExpr ./RelationalExpression.hs 111

1025−evalRelationalExpr ./RelationalExpression.hs 112

1026−evalSchemaExpr ./IsomorphicSchema.hs 315

1027−evalSchemaExpr ./IsomorphicSchema.hs 316

1028−evalTransAttributeNames ./TransGraphRelationalExpression.hs 162

1029−evalTransAttributeNames ./TransGraphRelationalExpression.hs 163

1030−evalTransGraphAtomExpr ./TransGraphRelationalExpression.hs 109

1031−evalTransGraphAtomExpr ./TransGraphRelationalExpression.hs 110

1032−evalTransGraphAttributeExpr ./TransGraphRelationalExpression.hs 155

1033−evalTransGraphAttributeExpr ./TransGraphRelationalExpression.hs 156

1034−evalTransGraphExtendTupleExpr ./TransGraphRelationalExpression.hs 150

1035−evalTransGraphExtendTupleExpr ./TransGraphRelationalExpression.hs 151

1036−evalTransGraphRelationalExpr ./TransGraphRelationalExpression.hs 44

1037−evalTransGraphRelationalExpr ./TransGraphRelationalExpression.hs 45

1038−evalTransGraphRestrictionPredicateExpr ./TransGraphRelationalExpression.hs 127

1039−evalTransGraphRestrictionPredicateExpr ./TransGraphRelationalExpression.hs 128

1040−evalTransGraphTupleExpr ./TransGraphRelationalExpression.hs 101

1041−evalTransGraphTupleExpr ./TransGraphRelationalExpression.hs 102

1042−evalTupleExpr ./RelationalExpression.hs 905

1043−evalTupleExpr ./RelationalExpression.hs 906

1044−excEither ./Client.hs 450

1045−excEither ./Client.hs 451

1046−execute ./Client/Simple.hs 99

1047−execute ./Client/Simple.hs 100

1048−executeCommitExprSTM_ ./Client.hs 651

1049−executeCommitExprSTM_ ./Client.hs 652

1050−executeDatabaseContextExpr ./Client.hs 556

1051−executeDatabaseContextExpr ./Client.hs 557

1052−executeDatabaseContextExpr ./DatabaseContextFunctionUtils.hs 9

1053−executeDatabaseContextExpr ./DatabaseContextFunctionUtils.hs 10

1054−executeDatabaseContextIOExpr ./Client.hs 617

1055−executeDatabaseContextIOExpr ./Client.hs 618

1056−executeGraphExpr ./Client.hs 667

1057−executeGraphExpr ./Client.hs 668

1058−executeOrErr ./Client/Simple.hs 107

1059−executeOrErr ./Client/Simple.hs 108

1060−executeRelationalExpr ./Client.hs 533

1061−executeRelationalExpr ./Client.hs 534

1062−executeRelationalExpr ./DatabaseContextFunctionUtils.hs 14

1063−executeRelationalExpr ./DatabaseContextFunctionUtils.hs 15

1064−executeSchemaExpr ./Client.hs 770

1065−executeSchemaExpr ./Client.hs 771

1066−executeTransGraphRelationalExpr ./Client.hs 758

1067−executeTransGraphRelationalExpr ./Client.hs 759

1068−expectedVersion ./TransactionGraph/Persist.hs 43

1069−expectedVersion ./TransactionGraph/Persist.hs 44

1070−extendTupleExpressionProcessor ./RelationalExpression.hs 752

1071−extendTupleExpressionProcessor ./RelationalExpression.hs 753

1072−extractAtomFunctionType ./AtomFunction.hs 45

1073−extractAtomFunctionType ./AtomFunction.hs 46

1074−fdCount ./Persist.hs 123

1075−fdCount ./Persist.hs 125

1076−fields ./DataConstructorDef.hs 11

1077−fields ./DataConstructorDef.hs 12

1078−filterParent ./Transaction.hs 29

1079−filterParent ./Transaction.hs 30

1080−filterSubGraph ./TransactionGraph.hs 434

1081−filterSubGraph ./TransactionGraph.hs 435

1082−filterTransaction ./Transaction.hs 33

1083−filterTransaction ./Transaction.hs 34

1084−filterTransactionInfoTransactions ./Transaction.hs 25

1085−filterTransactionInfoTransactions ./Transaction.hs 26

1086−findDataConstructor ./AtomType.hs 20

1087−findDataConstructor ./AtomType.hs 21

1088−findStaticRestrictionPredicates ./StaticOptimizer.hs 297

1089−findStaticRestrictionPredicates ./StaticOptimizer.hs 298

1090−findTypeConstructor ./AtomType.hs 186

1091−findTypeConstructor ./AtomType.hs 187

1092−foldAtomFuncType ./AtomFunction.hs 13

1093−foldAtomFuncType ./AtomFunction.hs 15

1094−freshDatabaseState ./RelationalExpression.hs 49

1095−freshDatabaseState ./RelationalExpression.hs 50

1096−fromAtom ./Atomable.hs 41

1097−fromAtom ./Atomable.hs 43

1098−fromAtomG ./Atomable.hs 162

1099−fromTuple ./Tupleable.hs 125

1100−fromTuple ./Tupleable.hs 133

1101−fromTupleG ./Tupleable.hs 141

1102−fsTypeSupportsJournaling ./FSType.hs 36

1103−fsTypeSupportsJournaling ./FSType.hs 37

1104−fsTypeSupportsJournaling ./FSType.hs 58

1105−fsTypeSupportsJournaling ./FSType.hs 87

1106−getAtomType ./Base.hs 598

1107−getAtomType ./Base.hs 599

1108−getConstructorArgsG ./Atomable.hs 167

1109−getConstructorsG ./Atomable.hs 166

1110−getDirectoryNames ./Transaction/Persist.hs 25

1111−getDirectoryNames ./Transaction/Persist.hs 26

1112−getStateContext ./RelationalExpression.hs 88

1113−getStateContext ./RelationalExpression.hs 89

1114−getVolumePathName ./FSType.hs 27

1115−getVolumePathName ./FSType.hs 28

1116−ghcPkgPaths ./Server/Config.hs 9

1117−graph1DRelation ./Relation/Show/Gnuplot.hs 29

1118−graph1DRelation ./Relation/Show/Gnuplot.hs 30

1119−graph2DRelation ./Relation/Show/Gnuplot.hs 37

1120−graph2DRelation ./Relation/Show/Gnuplot.hs 38

1121−graph3DRelation ./Relation/Show/Gnuplot.hs 45

1122−graph3DRelation ./Relation/Show/Gnuplot.hs 46

1123−graphAsDot ./TransactionGraph/Show/Dot.hs 8

1124−graphAsDot ./TransactionGraph/Show/Dot.hs 9

1125−graphAsRelation ./TransactionGraph.hs 280

1126−graphAsRelation ./TransactionGraph.hs 281

1127−group ./Relation.hs 148

1128−group ./Relation.hs 149

1129−handleCloseSession ./Server/EntryPoints.hs 105

1130−handleCloseSession ./Server/EntryPoints.hs 106

1131−handleCreateSessionAtCommit ./Server/EntryPoints.hs 95

1132−handleCreateSessionAtCommit ./Server/EntryPoints.hs 96

1133−handleCreateSessionAtHead ./Server/EntryPoints.hs 100

1134−handleCreateSessionAtHead ./Server/EntryPoints.hs 101

1135−handleExecuteAutoMergeToHead ./Server/EntryPoints.hs 158

1136−handleExecuteAutoMergeToHead ./Server/EntryPoints.hs 159

1137−handleExecuteDatabaseContextExpr ./Server/EntryPoints.hs 38

1138−handleExecuteDatabaseContextExpr ./Server/EntryPoints.hs 39

1139−handleExecuteDatabaseContextIOExpr ./Server/EntryPoints.hs 43

1140−handleExecuteDatabaseContextIOExpr ./Server/EntryPoints.hs 44

1141−handleExecuteGraphExpr ./Server/EntryPoints.hs 60

1142−handleExecuteGraphExpr ./Server/EntryPoints.hs 61

1143−handleExecuteHeadName ./Server/EntryPoints.hs 48

1144−handleExecuteHeadName ./Server/EntryPoints.hs 49

1145−handleExecuteRelationalExpr ./Server/EntryPoints.hs 33

1146−handleExecuteRelationalExpr ./Server/EntryPoints.hs 34

1147−handleExecuteSchemaExpr ./Server/EntryPoints.hs 138

1148−handleExecuteSchemaExpr ./Server/EntryPoints.hs 139

1149−handleExecuteTransGraphRelationalExpr ./Server/EntryPoints.hs 65

1150−handleExecuteTransGraphRelationalExpr ./Server/EntryPoints.hs 66

1151−handleExecuteTypeForRelationalExpr ./Server/EntryPoints.hs 70

1152−handleExecuteTypeForRelationalExpr ./Server/EntryPoints.hs 71

1153−handleLogin ./Server/EntryPoints.hs 53

1154−handleLogin ./Server/EntryPoints.hs 54

1155−handleLogout ./Server/EntryPoints.hs 143

1156−handleLogout ./Server/EntryPoints.hs 144

1157−handleRetrieveAtomFunctionSummary ./Server/EntryPoints.hs 123

1158−handleRetrieveAtomFunctionSummary ./Server/EntryPoints.hs 124

1159−handleRetrieveAtomTypesAsRelation ./Server/EntryPoints.hs 112

1160−handleRetrieveAtomTypesAsRelation ./Server/EntryPoints.hs 113

1161−handleRetrieveCurrentSchemaName ./Server/EntryPoints.hs 133

1162−handleRetrieveCurrentSchemaName ./Server/EntryPoints.hs 134

1163−handleRetrieveDatabaseContextFunctionSummary ./Server/EntryPoints.hs 128

1164−handleRetrieveDatabaseContextFunctionSummary ./Server/EntryPoints.hs 129

1165−handleRetrieveHeadTransactionId ./Server/EntryPoints.hs 90

1166−handleRetrieveHeadTransactionId ./Server/EntryPoints.hs 91

1167−handleRetrieveInclusionDependencies ./Server/EntryPoints.hs 75

1168−handleRetrieveInclusionDependencies ./Server/EntryPoints.hs 76

1169−handleRetrievePlanForDatabaseContextExpr ./Server/EntryPoints.hs 80

1170−handleRetrievePlanForDatabaseContextExpr ./Server/EntryPoints.hs 81

1171−handleRetrieveRelationVariableSummary ./Server/EntryPoints.hs 118

1172−handleRetrieveRelationVariableSummary ./Server/EntryPoints.hs 119

1173−handleRetrieveSessionIsDirty ./Server/EntryPoints.hs 153

1174−handleRetrieveSessionIsDirty ./Server/EntryPoints.hs 154

1175−handleRetrieveTransactionGraph ./Server/EntryPoints.hs 85

1176−handleRetrieveTransactionGraph ./Server/EntryPoints.hs 86

1177−handleRetrieveTypeConstructorMapping ./Server/EntryPoints.hs 163

1178−handleRetrieveTypeConstructorMapping ./Server/EntryPoints.hs 164

1179−handleTestTimeout ./Server/EntryPoints.hs 148

1180−handleTestTimeout ./Server/EntryPoints.hs 149

1181−headList ./TransactionGraph.hs 78

1182−headList ./TransactionGraph.hs 79

1183−headName ./Client.hs 967

1184−headName ./Client.hs 968

1185−headNameForTransaction ./TransactionGraph.hs 81

1186−headNameForTransaction ./TransactionGraph.hs 82

1187−headNameSTM_ ./Client.hs 954

1188−headNameSTM_ ./Client.hs 955

1189−headTransactionId ./Client.hs 944

1190−headTransactionId ./Client.hs 945

1191−headsPath ./TransactionGraph/Persist.hs 52

1192−headsPath ./TransactionGraph/Persist.hs 53

1193−hscEnv ./ScriptSession.hs 37

1194−imageRelationFor ./Relation.hs 269

1195−imageRelationFor ./Relation.hs 270

1196−import ./Client/Simple.hs 33

1197−incDepsDir ./Transaction/Persist.hs 42

1198−incDepsDir ./Transaction/Persist.hs 43

1199−inclusionDependencies ./Base.hs 283

1200−inclusionDependencies ./Client.hs 839

1201−inclusionDependencies ./Client.hs 840

1202−inclusionDependenciesAsRelation ./InclusionDependency.hs 9

1203−inclusionDependenciesAsRelation ./InclusionDependency.hs 10

1204−inclusionDependenciesForFunctionalDependency ./FunctionalDependency.hs 9

1205−inclusionDependenciesForFunctionalDependency ./FunctionalDependency.hs 10

1206−inclusionDependenciesInSchema ./IsomorphicSchema.hs 256

1207−inclusionDependenciesInSchema ./IsomorphicSchema.hs 257

1208−inclusionDependencyForForeignKey ./Key.hs 45

1209−inclusionDependencyForForeignKey ./Key.hs 46

1210−inclusionDependencyForKey ./Key.hs 26

1211−inclusionDependencyForKey ./Key.hs 27

1212−inclusionDependencyInSchema ./IsomorphicSchema.hs 235

1213−inclusionDependencyInSchema ./IsomorphicSchema.hs 236

1214−indexed ./MiscUtils.hs 11

1215−indexed ./MiscUtils.hs 12

1216−initScriptSession ./ScriptSession.hs 46

1217−initScriptSession ./ScriptSession.hs 47

1218−initServer ./Server.hs 63

1219−initServer ./Server.hs 64

1220−instance ./Arbitrary.hs 77

1221−instance ./Atomable.hs 59

1222−instance ./Base.hs 42

1223−instance ./Error.hs 125

1224−instance ./Relation/Show/CSV.hs 35

1225−instance ./RelationalExpression.hs 57

1226−instance ./Tupleable.hs 145

1227−intFromAtomIndex ./Relation/Show/Gnuplot.hs 26

1228−intFromAtomIndex ./Relation/Show/Gnuplot.hs 27

1229−intTypeConstructor ./DataTypes/Primitive.hs 18

1230−intTypeConstructor ./DataTypes/Primitive.hs 19

1231−integerAtomFuncLessThan ./AtomFunctions/Primitive.hs 59

1232−integerAtomFuncLessThan ./AtomFunctions/Primitive.hs 60

1233−intersection ./Attribute.hs 152

1234−intersection ./Attribute.hs 153

1235−intervalAtomFunctions ./DataTypes/Interval.hs 92

1236−intervalAtomFunctions ./DataTypes/Interval.hs 93

1237−intervalAtomType ./DataTypes/Interval.hs 89

1238−intervalAtomType ./DataTypes/Interval.hs 90

1239−intervalOverlaps ./DataTypes/Interval.hs 123

1240−intervalOverlaps ./DataTypes/Interval.hs 124

1241−intervalSubType ./DataTypes/Interval.hs 14

1242−intervalSubType ./DataTypes/Interval.hs 15

1243−intervalTypeConstructorMapping ./DataTypes/Interval.hs 135

1244−intervalTypeConstructorMapping ./DataTypes/Interval.hs 136

1245−invert ./IsomorphicSchema.hs 57

1246−invert ./IsomorphicSchema.hs 58

1247−ipClientNodes ./Client.hs 225

1248−ipLocalNode ./Client.hs 229

1249−ipLocks ./Client.hs 231

1250−ipPersistenceStrategy ./Client.hs 224

1251−ipScriptSession ./Client.hs 228

1252−ipSessions ./Client.hs 226

1253−ipTransactionGraph ./Client.hs 227

1254−ipTransport ./Client.hs 230

1255−isCommit ./TransactionGraph.hs 57

1256−isCommit ./TransactionGraph.hs 58

1257−isDirty ./Session.hs 20

1258−isDirty ./Session.hs 21

1259−isEmptyRelationExpr ./StaticOptimizer.hs 277

1260−isEmptyRelationExpr ./StaticOptimizer.hs 278

1261−isFalseExpr ./StaticOptimizer.hs 271

1262−isFalseExpr ./StaticOptimizer.hs 272

1263−isForeignKeyFor ./Key.hs 60

1264−isForeignKeyFor ./Key.hs 61

1265−isIntervalAtomType ./DataTypes/Interval.hs 116

1266−isIntervalAtomType ./DataTypes/Interval.hs 117

1267−isRecordTypeG ./Tupleable.hs 142

1268−isRelationAtomType ./Base.hs 87

1269−isRelationAtomType ./Base.hs 88

1270−isRootTransaction ./TransactionGraph.hs 104

1271−isRootTransaction ./TransactionGraph.hs 105

1272−isScriptedAtomFunction ./AtomFunction.hs 58

1273−isScriptedAtomFunction ./AtomFunction.hs 59

1274−isScriptedDatabaseContextFunction ./DatabaseContextFunction.hs 46

1275−isScriptedDatabaseContextFunction ./DatabaseContextFunction.hs 47

1276−isStaticAtomExpr ./StaticOptimizer.hs 313

1277−isStaticAtomExpr ./StaticOptimizer.hs 314

1278−isTrueExpr ./StaticOptimizer.hs 265

1279−isTrueExpr ./StaticOptimizer.hs 266

1280−isValidAtomTypeForTypeConstructor ./AtomType.hs 174

1281−isValidAtomTypeForTypeConstructor ./AtomType.hs 175

1282−isomorphInRelVarNames ./IsomorphicSchema.hs 62

1283−isomorphInRelVarNames ./IsomorphicSchema.hs 63

1284−isomorphOutRelVarNames ./IsomorphicSchema.hs 73

1285−isomorphOutRelVarNames ./IsomorphicSchema.hs 74

1286−isomorphs ./IsomorphicSchema.hs 35

1287−isomorphs ./IsomorphicSchema.hs 36

1288−isomorphsInRelVarNames ./IsomorphicSchema.hs 68

1289−isomorphsInRelVarNames ./IsomorphicSchema.hs 69

1290−isomorphsOutRelVarNames ./IsomorphicSchema.hs 78

1291−isomorphsOutRelVarNames ./IsomorphicSchema.hs 79

1292−join ./Relation.hs 215

1293−join ./Relation.hs 216

1294−joinAttributes ./Attribute.hs 40

1295−joinAttributes ./Attribute.hs 41

1296−launchServer ./Server.hs 104

1297−launchServer ./Server.hs 105

1298−leftPaddedString ./Relation/Show/Term.hs 127

1299−leftPaddedString ./Relation/Show/Term.hs 128

1300−liftE ./RelationalExpression.hs 659

1301−liftE ./RelationalExpression.hs 660

1302−listAtomFunctions ./DataTypes/List.hs 35

1303−listAtomFunctions ./DataTypes/List.hs 36

1304−listAtomType ./DataTypes/List.hs 9

1305−listAtomType ./DataTypes/List.hs 10

1306−listCons ./DataTypes/List.hs 51

1307−listCons ./DataTypes/List.hs 52

1308−listLength ./DataTypes/List.hs 18

1309−listLength ./DataTypes/List.hs 19

1310−listMaybeHead ./DataTypes/List.hs 25

1311−listMaybeHead ./DataTypes/List.hs 26

1312−listTypeConstructorMapping ./DataTypes/List.hs 12

1313−listTypeConstructorMapping ./DataTypes/List.hs 13

1314−loadAtomFunc ./Transaction/Persist.hs 131

1315−loadAtomFunc ./Transaction/Persist.hs 132

1316−loadAtomFunctions ./AtomFunction.hs 74

1317−loadAtomFunctions ./AtomFunction.hs 75

1318−loadDatabaseContextFunctions ./DatabaseContextFunction.hs 63

1319−loadDatabaseContextFunctions ./DatabaseContextFunction.hs 64

1320−loadFunction ./ScriptSession.hs 198

1321−loadFunction ./ScriptSession.hs 199

1322−lockFile ./FileLock.hs 41

1323−lockFile ./FileLock.hs 42

1324−lockFile ./FileLock.hs 82

1325−lockFilePath ./TransactionGraph/Persist.hs 55

1326−lockFilePath ./TransactionGraph/Persist.hs 56

1327−lockStruct ./FileLock.hs 67

1328−lockStruct ./FileLock.hs 68

1329−loggingNotificationCallback ./Server.hs 80

1330−loggingNotificationCallback ./Server.hs 81

1331−lookupTransaction ./TransactionGraph.hs 473

1332−lookupTransaction ./TransactionGraph.hs 474

1333−mangleSymbol ./ScriptSession.hs 187

1334−mangleSymbol ./ScriptSession.hs 188

1335−matchingAttributeNameSet ./Attribute.hs 109

1336−matchingAttributeNameSet ./Attribute.hs 110

1337−maybeAtomFunctions ./DataTypes/Maybe.hs 17

1338−maybeAtomFunctions ./DataTypes/Maybe.hs 18

1339−maybeAtomType ./DataTypes/Maybe.hs 8

1340−maybeAtomType ./DataTypes/Maybe.hs 9

1341−maybeToRight ./Arbitrary.hs 73

1342−maybeToRight ./Arbitrary.hs 74

1343−maybeTypeConstructorMapping ./DataTypes/Maybe.hs 11

1344−maybeTypeConstructorMapping ./DataTypes/Maybe.hs 12

1345−mergeAttributesIntoRelationalExprState ./RelationalExpression.hs 71

1346−mergeAttributesIntoRelationalExprState ./RelationalExpression.hs 72

1347−mergeTransactions ./TransactionGraph.hs 395

1348−mergeTransactions ./TransactionGraph.hs 396

1349−mergeTuplesIntoRelationalExprState ./RelationalExpression.hs 65

1350−mergeTuplesIntoRelationalExprState ./RelationalExpression.hs 66

1351−mkRelation ./Relation.hs 46

1352−mkRelation ./Relation.hs 47

1353−mkRelationDeferVerify ./Relation.hs 63

1354−mkRelationDeferVerify ./Relation.hs 64

1355−mkRelationFromList ./Relation.hs 39

1356−mkRelationFromList ./Relation.hs 40

1357−mkRelationFromTuples ./Relation.hs 68

1358−mkRelationFromTuples ./Relation.hs 69

1359−mkRelationTuple ./Tuple.hs 87

1360−mkRelationTuple ./Tuple.hs 88

1361−mkRelationTupleFromMap ./Tuple.hs 95

1362−mkRelationTupleFromMap ./Tuple.hs 96

1363−mkRelationTuples ./Tuple.hs 90

1364−mkRelationTuples ./Tuple.hs 91

1365−mkRelationalExprState ./RelationalExpression.hs 62

1366−mkRelationalExprState ./RelationalExpression.hs 63

1367−mkTupleSet ./TupleSet.hs 29

1368−mkTupleSet ./TupleSet.hs 30

1369−mkTupleSetFromList ./TupleSet.hs 32

1370−mkTupleSetFromList ./TupleSet.hs 33

1371−mkTypeForName ./ScriptSession.hs 149

1372−mkTypeForName ./ScriptSession.hs 150

1373−name ./DataConstructorDef.hs 8

1374−name ./DataConstructorDef.hs 9

1375−name ./TypeConstructor.hs 4

1376−name ./TypeConstructor.hs 5

1377−name ./TypeConstructorDef.hs 4

1378−name ./TypeConstructorDef.hs 5

1379−nonMatchingAttributeNameSet ./Attribute.hs 106

1380−nonMatchingAttributeNameSet ./Attribute.hs 107

1381−notification ./Client.hs 192

1382−notificationChanges ./Notifications.hs 9

1383−notificationChanges ./Notifications.hs 10

1384−notificationListener ./Client.hs 262

1385−notificationListener ./Client.hs 263

1386−notifications ./Base.hs 287

1387−null ./Attribute.hs 17

1388−null ./Attribute.hs 18

1389−oneTuple ./Relation.hs 324

1390−oneTuple ./Relation.hs 325

1391−openLockFile ./FileLock.hs 27

1392−openLockFile ./FileLock.hs 28

1393−openLockFile ./FileLock.hs 73

1394−optimizeDatabaseContextExpr ./StaticOptimizer.hs 27

1395−optimizeDatabaseContextExpr ./StaticOptimizer.hs 28

1396−optimizeRelationalExpr ./StaticOptimizer.hs 16

1397−optimizeRelationalExpr ./StaticOptimizer.hs 17

1398−optimizeRelationalExprReader ./StaticOptimizer.hs 19

1399−optimizeRelationalExprReader ./StaticOptimizer.hs 20

1400−orCancelTransaction ./Client/Simple.hs 127

1401−orCancelTransaction ./Client/Simple.hs 128

1402−orderedAttributeNames ./Attribute.hs 119

1403−orderedAttributeNames ./Attribute.hs 120

1404−orderedAttributes ./Attribute.hs 116

1405−orderedAttributes ./Attribute.hs 117

1406−orderedTupleAssocs ./Tuple.hs 32

1407−orderedTupleAssocs ./Tuple.hs 33

1408−parens ./Relation/Parse/CSV.hs 138

1409−parens ./Relation/Parse/CSV.hs 139

1410−parentId ./DisconnectedTransaction.hs 10

1411−parentId ./DisconnectedTransaction.hs 11

1412−parentId ./Session.hs 26

1413−parentId ./Session.hs 27

1414−parentTransactions ./TransactionGraph.hs 109

1415−parentTransactions ./TransactionGraph.hs 110

1416−parseArgsWithDefaults ./Server/ParseArgs.hs 8

1417−parseArgsWithDefaults ./Server/ParseArgs.hs 9

1418−parseCSVAtomP ./Relation/Parse/CSV.hs 60

1419−parseCSVAtomP ./Relation/Parse/CSV.hs 61

1420−parseCheckFS ./Server/ParseArgs.hs 33

1421−parseCheckFS ./Server/ParseArgs.hs 34

1422−parseConfig ./Server/ParseArgs.hs 63

1423−parseConfig ./Server/ParseArgs.hs 64

1424−parseConfigWithDefaults ./Server/ParseArgs.hs 66

1425−parseConfigWithDefaults ./Server/ParseArgs.hs 67

1426−parseDatabaseName ./Server/ParseArgs.hs 37

1427−parseDatabaseName ./Server/ParseArgs.hs 38

1428−parseGhcPkgPath ./Server/ParseArgs.hs 54

1429−parseGhcPkgPath ./Server/ParseArgs.hs 55

1430−parseHostname ./Server/ParseArgs.hs 42

1431−parseHostname ./Server/ParseArgs.hs 43

1432−parsePersistenceStrategy ./Server/ParseArgs.hs 19

1433−parsePersistenceStrategy ./Server/ParseArgs.hs 20

1434−parsePort ./Server/ParseArgs.hs 48

1435−parsePort ./Server/ParseArgs.hs 49

1436−parseTimeout ./Server/ParseArgs.hs 58

1437−parseTimeout ./Server/ParseArgs.hs 59

1438−partitionByAttributes ./Tupleable.hs 82

1439−partitionByAttributes ./Tupleable.hs 87

1440−pathToTransaction ./TransactionGraph.hs 375

1441−pathToTransaction ./TransactionGraph.hs 376

1442−perRequestTimeout ./Server/Config.hs 10

1443−persistenceStrategy ./Server/Config.hs 4

1444−planForDatabaseContextExpr ./Client.hs 867

1445−planForDatabaseContextExpr ./Client.hs 868

1446−plotRelation ./Relation/Show/Gnuplot.hs 71

1447−plotRelation ./Relation/Show/Gnuplot.hs 72

1448−points1DRelation ./Relation/Show/Gnuplot.hs 32

1449−points1DRelation ./Relation/Show/Gnuplot.hs 33

1450−points2DRelation ./Relation/Show/Gnuplot.hs 40

1451−points2DRelation ./Relation/Show/Gnuplot.hs 41

1452−points3DRelation ./Relation/Show/Gnuplot.hs 49

1453−points3DRelation ./Relation/Show/Gnuplot.hs 50

1454−precompiledAtomFunctions ./AtomFunctions/Basic.hs 26

1455−precompiledAtomFunctions ./AtomFunctions/Basic.hs 27

1456−precompiledDatabaseContextFunctions ./DatabaseContextFunction.hs 43

1457−precompiledDatabaseContextFunctions ./DatabaseContextFunction.hs 44

1458−predicateRestrictionFilter ./RelationalExpression.hs 667

1459−predicateRestrictionFilter ./RelationalExpression.hs 668

1460−prefixUnderscore ./ScriptSession.hs 209

1461−prefixUnderscore ./ScriptSession.hs 210

1462−prettyAtomType ./AtomType.hs 293

1463−prettyAtomType ./AtomType.hs 294

1464−prettyAttribute ./AtomType.hs 304

1465−prettyAttribute ./AtomType.hs 305

1466−primitiveAtomFunctions ./AtomFunctions/Primitive.hs 11

1467−primitiveAtomFunctions ./AtomFunctions/Primitive.hs 12

1468−primitiveTypeConstructorMapping ./DataTypes/Primitive.hs 4

1469−primitiveTypeConstructorMapping ./DataTypes/Primitive.hs 5

1470−printFdCount ./Persist.hs 111

1471−printFdCount ./Persist.hs 112

1472−processDatabaseContextExprInSchema ./IsomorphicSchema.hs 101

1473−processDatabaseContextExprInSchema ./IsomorphicSchema.hs 102

1474−processDatabaseContextExprSchemaUpdate ./IsomorphicSchema.hs 110

1475−processDatabaseContextExprSchemaUpdate ./IsomorphicSchema.hs 111

1476−processDatabaseContextExprSchemasUpdate ./IsomorphicSchema.hs 121

1477−processDatabaseContextExprSchemasUpdate ./IsomorphicSchema.hs 122

1478−processRelationalExprInSchema ./IsomorphicSchema.hs 91

1479−processRelationalExprInSchema ./IsomorphicSchema.hs 92

1480−processTransactionGraphPersistence ./Client.hs 806

1481−processTransactionGraphPersistence ./Client.hs 807

1482−productsRel ./DateExamples.hs 73

1483−productsRel ./DateExamples.hs 74

1484−project ./Relation.hs 96

1485−project ./Relation.hs 97

1486−projectionAttributesForNames ./Attribute.hs 78

1487−projectionAttributesForNames ./Attribute.hs 79

1488−proxy ./Atomable.hs 56

1489−proxy ./Tupleable.hs 135

1490−putStateContext ./RelationalExpression.hs 93

1491−putStateContext ./RelationalExpression.hs 94

1492−query ./Client/Simple.hs 103

1493−query ./Client/Simple.hs 104

1494−queryOrErr ./Client/Simple.hs 113

1495−queryOrErr ./Client/Simple.hs 114

1496−quotedString ./Relation/Parse/CSV.hs 147

1497−quotedString ./Relation/Parse/CSV.hs 148

1498−rLocalNode ./Client.hs 235

1499−rProcessId ./Client.hs 236

1500−rTransport ./Client.hs 237

1501−randomizeTupleOrder ./Relation.hs 319

1502−randomizeTupleOrder ./Relation.hs 320

1503−readAtomFunc ./Transaction/Persist.hs 155

1504−readAtomFunc ./Transaction/Persist.hs 156

1505−readAtomFuncs ./Transaction/Persist.hs 123

1506−readAtomFuncs ./Transaction/Persist.hs 124

1507−readDBCFunc ./Transaction/Persist.hs 197

1508−readDBCFunc ./Transaction/Persist.hs 198

1509−readDBCFuncs ./Transaction/Persist.hs 189

1510−readDBCFuncs ./Transaction/Persist.hs 190

1511−readGraphTransactionIdDigest ./Client.hs 811

1512−readGraphTransactionIdDigest ./Client.hs 812

1513−readGraphTransactionIdFile ./TransactionGraph/Persist.hs 207

1514−readGraphTransactionIdFile ./TransactionGraph/Persist.hs 208

1515−readGraphTransactionIdFileDigest ./TransactionGraph/Persist.hs 202

1516−readGraphTransactionIdFileDigest ./TransactionGraph/Persist.hs 203

1517−readIncDep ./Transaction/Persist.hs 225

1518−readIncDep ./Transaction/Persist.hs 226

1519−readIncDeps ./Transaction/Persist.hs 231

1520−readIncDeps ./Transaction/Persist.hs 232

1521−readRelVars ./Transaction/Persist.hs 108

1522−readRelVars ./Transaction/Persist.hs 109

1523−readSubschemas ./Transaction/Persist.hs 237

1524−readSubschemas ./Transaction/Persist.hs 238

1525−readTransaction ./Transaction/Persist.hs 57

1526−readTransaction ./Transaction/Persist.hs 58

1527−readTransactionIfNecessary ./TransactionGraph/Persist.hs 177

1528−readTransactionIfNecessary ./TransactionGraph/Persist.hs 178

1529−readTypeConstructorMapping ./Transaction/Persist.hs 251

1530−readTypeConstructorMapping ./Transaction/Persist.hs 252

1531−readUTF8FileOrError ./TransactionGraph/Persist.hs 217

1532−readUTF8FileOrError ./TransactionGraph/Persist.hs 218

1533−registerDB ./Server.hs 72

1534−registerDB ./Server.hs 73

1535−relExprMogrify ./IsomorphicSchema.hs 149

1536−relExprMogrify ./IsomorphicSchema.hs 150

1537−relExprMorph ./IsomorphicSchema.hs 135

1538−relExprMorph ./IsomorphicSchema.hs 136

1539−relFold ./Relation.hs 255

1540−relFold ./Relation.hs 256

1541−relMap ./Relation.hs 238

1542−relMap ./Relation.hs 239

1543−relMogrify ./Relation.hs 250

1544−relMogrify ./Relation.hs 251

1545−relationAsCSV ./Relation/Show/CSV.hs 14

1546−relationAsCSV ./Relation/Show/CSV.hs 15

1547−relationAsHTML ./Relation/Show/HTML.hs 19

1548−relationAsHTML ./Relation/Show/HTML.hs 21

1549−relationAsTable ./Relation/Show/Term.hs 85

1550−relationAsTable ./Relation/Show/Term.hs 86

1551−relationCount ./AtomFunctions/Primitive.hs 76

1552−relationCount ./AtomFunctions/Primitive.hs 77

1553−relationFalse ./Relation.hs 76

1554−relationFalse ./Relation.hs 77

1555−relationForAtom ./Atom.hs 8

1556−relationForAtom ./Atom.hs 9

1557−relationForAttributeName ./Tuple.hs 72

1558−relationForAttributeName ./Tuple.hs 73

1559−relationMax ./AtomFunctions/Primitive.hs 79

1560−relationMax ./AtomFunctions/Primitive.hs 80

1561−relationMin ./AtomFunctions/Primitive.hs 86

1562−relationMin ./AtomFunctions/Primitive.hs 87

1563−relationSum ./AtomFunctions/Primitive.hs 70

1564−relationSum ./AtomFunctions/Primitive.hs 71

1565−relationTrue ./Relation.hs 73

1566−relationTrue ./Relation.hs 74

1567−relationVariables ./Base.hs 284

1568−relationVariablesAsRelation ./Client.hs 900

1569−relationVariablesAsRelation ./Client.hs 901

1570−relationVariablesAsRelation ./Relation.hs 305

1571−relationVariablesAsRelation ./Relation.hs 306

1572−relationVariablesInSchema ./IsomorphicSchema.hs 259

1573−relationVariablesInSchema ./IsomorphicSchema.hs 260

1574−relvarsDir ./Transaction/Persist.hs 39

1575−relvarsDir ./Transaction/Persist.hs 40

1576−remoteCall ./Client.hs 471

1577−remoteCall ./Client.hs 472

1578−remoteDBLookupName ./Client.hs 250

1579−remoteDBLookupName ./Client.hs 251

1580−rename ./Relation.hs 103

1581−rename ./Relation.hs 104

1582−renameAttribute ./Attribute.hs 56

1583−renameAttribute ./Attribute.hs 57

1584−renameAttributes ./Attribute.hs 59

1585−renameAttributes ./Attribute.hs 60

1586−renameSync ./Persist.hs 59

1587−renameSync ./Persist.hs 60

1588−renderBody ./Relation/Show/Term.hs 140

1589−renderBody ./Relation/Show/Term.hs 141

1590−renderHBar ./Relation/Show/Term.hs 123

1591−renderHBar ./Relation/Show/Term.hs 124

1592−renderHeader ./Relation/Show/Term.hs 115

1593−renderHeader ./Relation/Show/Term.hs 116

1594−renderRow ./Relation/Show/Term.hs 135

1595−renderRow ./Relation/Show/Term.hs 136

1596−renderTable ./Relation/Show/Term.hs 110

1597−renderTable ./Relation/Show/Term.hs 111

1598−reorderTuple ./Tuple.hs 205

1599−reorderTuple ./Tuple.hs 206

1600−repeatString ./Relation/Show/Term.hs 149

1601−repeatString ./Relation/Show/Term.hs 150

1602−replaceStaticAtomExprs ./StaticOptimizer.hs 284

1603−replaceStaticAtomExprs ./StaticOptimizer.hs 285

1604−reportNewExpr ./Base.hs 224

1605−reportNewRelation ./Client.hs 194

1606−reportOldExpr ./Base.hs 223

1607−reportOldRelation ./Client.hs 193

1608−resolveAtomType ./AtomType.hs 194

1609−resolveAtomType ./AtomType.hs 195

1610−resolveAtomTypesInTypeVarMap ./AtomType.hs 203

1611−resolveAtomTypesInTypeVarMap ./AtomType.hs 204

1612−resolveAttributeExprTypeVars ./AtomType.hs 125

1613−resolveAttributeExprTypeVars ./AtomType.hs 126

1614−resolveDataConstructorArgTypeVars ./AtomType.hs 85

1615−resolveDataConstructorArgTypeVars ./AtomType.hs 86

1616−resolveDataConstructorTypeVars ./AtomType.hs 63

1617−resolveDataConstructorTypeVars ./AtomType.hs 64

1618−resolveFunctionReturnValue ./AtomType.hs 328

1619−resolveFunctionReturnValue ./AtomType.hs 329

1620−resolveTypeConstructorTypeVars ./AtomType.hs 90

1621−resolveTypeConstructorTypeVars ./AtomType.hs 91

1622−resolveTypeInAtom ./AtomType.hs 230

1623−resolveTypeInAtom ./AtomType.hs 231

1624−resolveTypeVariable ./AtomType.hs 323

1625−resolveTypeVariable ./AtomType.hs 324

1626−resolveTypeVariables ./AtomType.hs 308

1627−resolveTypeVariables ./AtomType.hs 309

1628−resolveTypesInTuple ./AtomType.hs 238

1629−resolveTypesInTuple ./AtomType.hs 239

1630−resolvedAtomTypeForDataConstructorDefArg ./AtomType.hs 344

1631−resolvedAtomTypeForDataConstructorDefArg ./AtomType.hs 345

1632−resolvedAtomTypesForDataConstructorDefArgs ./AtomType.hs 341

1633−resolvedAtomTypesForDataConstructorDefArgs ./AtomType.hs 342

1634−restrict ./Relation.hs 207

1635−restrict ./Relation.hs 208

1636−restrictEq ./Relation.hs 165

1637−restrictEq ./Relation.hs 166

1638−resultAccumFunc ./RelationalExpression.hs 80

1639−resultAccumResult ./RelationalExpression.hs 81

1640−rollback ./Client.hs 801

1641−rollback ./Client.hs 802

1642−rollback ./Client/Simple.hs 119

1643−rollback ./Client/Simple.hs 120

1644−runDb ./Client/Simple.hs 41

1645−runProcessResult ./Client.hs 456

1646−runProcessResult ./Client.hs 457

1647−safeLogin ./Client.hs 464

1648−safeLogin ./Client.hs 465

1649−schemaForSessionId ./Client.hs 489

1650−schemaForSessionId ./Client.hs 490

1651−schemaName ./Session.hs 35

1652−schemaName ./Session.hs 36

1653−schemas ./DisconnectedTransaction.hs 7

1654−schemas ./DisconnectedTransaction.hs 8

1655−schemas ./Session.hs 32

1656−schemas ./Session.hs 33

1657−schemas ./Transaction.hs 41

1658−schemas ./Transaction.hs 42

1659−sendNotifications ./Client.hs 794

1660−sendNotifications ./Client.hs 795

1661−sequentialRestrictions ./StaticOptimizer.hs 410

1662−sequentialRestrictions ./StaticOptimizer.hs 411

1663−serverDefinition ./Server.hs 24

1664−serverDefinition ./Server.hs 25

1665−sessionAndSchema ./Client.hs 499

1666−sessionAndSchema ./Client.hs 500

1667−sessionForSessionId ./Client.hs 485

1668−sessionForSessionId ./Client.hs 486

1669−sessionsAsRelation ./Sessions.hs 20

1670−sessionsAsRelation ./Sessions.hs 21

1671−setCurrentSchemaName ./Client.hs 521

1672−setCurrentSchemaName ./Client.hs 522

1673−setRelVar ./RelationalExpression.hs 241

1674−setRelVar ./RelationalExpression.hs 242

1675−setSchemaName ./Session.hs 38

1676−setSchemaName ./Session.hs 39

1677−setStateElemsContext ./RelationalExpression.hs 105

1678−setStateElemsContext ./RelationalExpression.hs 106

1679−setupDatabaseDir ./TransactionGraph/Persist.hs 74

1680−setupDatabaseDir ./TransactionGraph/Persist.hs 75

1681−showAtom ./Relation/Show/Term.hs 104

1682−showAtom ./Relation/Show/Term.hs 105

1683−showGraphStructure ./TransactionGraph/Show.hs 16

1684−showGraphStructure ./TransactionGraph/Show.hs 17

1685−showGraphStructureX ./TransactionGraph.hs 427

1686−showGraphStructureX ./TransactionGraph.hs 428

1687−showParens ./Relation/Show/Term.hs 98

1688−showParens ./Relation/Show/Term.hs 99

1689−showRelation ./Relation/Show/Term.hs 152

1690−showRelation ./Relation/Show/Term.hs 153

1691−showTransactionStructure ./TransactionGraph/Show.hs 7

1692−showTransactionStructure ./TransactionGraph/Show.hs 8

1693−showTransactionStructureX ./TransactionGraph.hs 419

1694−showTransactionStructureX ./TransactionGraph.hs 420

1695−showType ./ScriptSession.hs 146

1696−showType ./ScriptSession.hs 147

1697−simpleConnectProjectM36 ./Client/Simple.hs 64

1698−simpleConnectProjectM36 ./Client/Simple.hs 65

1699−simpleConnectProjectM36At ./Client/Simple.hs 50

1700−simpleConnectProjectM36At ./Client/Simple.hs 51

1701−singleTupleJoin ./Tuple.hs 121

1702−singleTupleJoin ./Tuple.hs 122

1703−singleTupleSetJoin ./Tuple.hs 102

1704−singleTupleSetJoin ./Tuple.hs 103

1705−singletonTuple ./Relation.hs 80

1706−singletonTuple ./Relation.hs 81

1707−singletonTupleSet ./TupleSet.hs 13

1708−singletonTupleSet ./TupleSet.hs 14

1709−sizeofStructStatFS ./FSType.hs 78

1710−sizeofStructStatFS ./FSType.hs 79

1711−sizeofStructStatFS ./FSType.hs 83

1712−someErrors ./Error.hs 108

1713−someErrors ./Error.hs 109

1714−sortedAttributesIndices ./Base.hs 109

1715−sortedAttributesIndices ./Base.hs 110

1716−startNotificationListener ./Client.hs 277

1717−startNotificationListener ./Client.hs 278

1718−stateElemsContext ./RelationalExpression.hs 100

1719−stateElemsContext ./RelationalExpression.hs 101

1720−stmMapToList ./Sessions.hs 14

1721−stmMapToList ./Sessions.hs 15

1722−stringDisplayLength ./Relation/Show/Term.hs 156

1723−stringDisplayLength ./Relation/Show/Term.hs 157

1724−subGraphOfFirstCommonAncestor ./TransactionGraph.hs 344

1725−subGraphOfFirstCommonAncestor ./TransactionGraph.hs 345

1726−subschemas ./Session.hs 29

1727−subschemas ./Session.hs 30

1728−subschemas ./Transaction.hs 45

1729−subschemas ./Transaction.hs 46

1730−subschemasPath ./Transaction/Persist.hs 54

1731−subschemasPath ./Transaction/Persist.hs 55

1732−supplierProductsRel ./DateExamples.hs 50

1733−supplierProductsRel ./DateExamples.hs 51

1734−suppliersRel ./DateExamples.hs 34

1735−suppliersRel ./DateExamples.hs 35

1736−supportsInterval ./DataTypes/Interval.hs 29

1737−supportsInterval ./DataTypes/Interval.hs 30

1738−supportsOrdering ./DataTypes/Interval.hs 43

1739−supportsOrdering ./DataTypes/Interval.hs 44

1740−syncDirectory ./Persist.hs 93

1741−syncDirectory ./Persist.hs 94

1742−syncHandle ./Persist.hs 74

1743−syncHandle ./Persist.hs 75

1744−takeToEndOfData ./Relation/Parse/CSV.hs 135

1745−takeToEndOfData ./Relation/Parse/CSV.hs 136

1746−tempTransactionDir ./Transaction/Persist.hs 30

1747−tempTransactionDir ./Transaction/Persist.hs 31

1748−termLength ./Relation/Show/Term.hs 49

1749−testMode ./Server/Config.hs 11

1750−textTypeConstructor ./DataTypes/Primitive.hs 24

1751−textTypeConstructor ./DataTypes/Primitive.hs 25

1752−timeoutOrDie ./Server/EntryPoints.hs 15

1753−timeoutOrDie ./Server/EntryPoints.hs 16

1754−toAddTypeExpr ./Atomable.hs 55

1755−toAddTypeExpr ./Atomable.hs 57

1756−toAddTypeExprG ./Atomable.hs 165

1757−toAtom ./Atomable.hs 37

1758−toAtom ./Atomable.hs 39

1759−toAtomG ./Atomable.hs 161

1760−toAtomType ./Atomable.hs 50

1761−toAtomType ./Atomable.hs 52

1762−toAtomTypeG ./Atomable.hs 163

1763−toAtomsG ./Atomable.hs 164

1764−toAttributes ./Tupleable.hs 127

1765−toAttributes ./Tupleable.hs 136

1766−toAttributesG ./Tupleable.hs 140

1767−toDefineExpr ./Tupleable.hs 69

1768−toDefineExpr ./Tupleable.hs 70

1769−toDeleteExpr ./Tupleable.hs 105

1770−toDeleteExpr ./Tupleable.hs 107

1771−toInsertExpr ./Tupleable.hs 61

1772−toInsertExpr ./Tupleable.hs 62

1773−toList ./Relation.hs 259

1774−toList ./Relation.hs 260

1775−toTuple ./Tupleable.hs 123

1776−toTuple ./Tupleable.hs 130

1777−toTupleG ./Tupleable.hs 139

1778−toUpdateExpr ./Tupleable.hs 93

1779−toUpdateExpr ./Tupleable.hs 95

1780−transactionChildIds ./Transaction.hs 15

1781−transactionChildIds ./Transaction.hs 16

1782−transactionDir ./Transaction/Persist.hs 33

1783−transactionDir ./Transaction/Persist.hs 34

1784−transactionForHead ./TransactionGraph.hs 75

1785−transactionForHead ./TransactionGraph.hs 76

1786−transactionForId ./TransactionGraph.hs 89

1787−transactionForId ./TransactionGraph.hs 90

1788−transactionGraphAsRelation ./Client.hs 886

1789−transactionGraphAsRelation ./Client.hs 887

1790−transactionGraphHeadsLoad ./TransactionGraph/Persist.hs 142

1791−transactionGraphHeadsLoad ./TransactionGraph/Persist.hs 143

1792−transactionGraphHeadsPersist ./TransactionGraph/Persist.hs 132

1793−transactionGraphHeadsPersist ./TransactionGraph/Persist.hs 133

1794−transactionGraphLoad ./TransactionGraph/Persist.hs 154

1795−transactionGraphLoad ./TransactionGraph/Persist.hs 155

1796−transactionGraphPersist ./TransactionGraph/Persist.hs 109

1797−transactionGraphPersist ./TransactionGraph/Persist.hs 110

1798−transactionGraph_ ./Client.hs 1005

1799−transactionGraph_ ./Client.hs 1006

1800−transactionHeadsForGraph ./Base.hs 370

1801−transactionHeadsForGraph ./Base.hs 371

1802−transactionId ./Base.hs 393

1803−transactionId ./Base.hs 394

1804−transactionInfo ./Base.hs 396

1805−transactionInfo ./Base.hs 397

1806−transactionInfoPath ./Transaction/Persist.hs 36

1807−transactionInfoPath ./Transaction/Persist.hs 37

1808−transactionLogFileName ./TransactionGraph/Persist.hs 46

1809−transactionLogFileName ./TransactionGraph/Persist.hs 47

1810−transactionLogPath ./TransactionGraph/Persist.hs 49

1811−transactionLogPath ./TransactionGraph/Persist.hs 50

1812−transactionParentIds ./Transaction.hs 11

1813−transactionParentIds ./Transaction.hs 12

1814−transactionParentsRelation ./TransactionGraph.hs 301

1815−transactionParentsRelation ./TransactionGraph.hs 302

1816−transactionSetChildren ./Transaction.hs 20

1817−transactionSetChildren ./Transaction.hs 21

1818−transactionTimestamp ./Transaction.hs 7

1819−transactionTimestamp ./Transaction.hs 8

1820−transactionsForGraph ./Base.hs 367

1821−transactionsForGraph ./Base.hs 368

1822−transactionsForIds ./TransactionGraph.hs 100

1823−transactionsForIds ./TransactionGraph.hs 101

1824−transactionsPersist ./TransactionGraph/Persist.hs 121

1825−transactionsPersist ./TransactionGraph/Persist.hs 122

1826−traverseGraph ./TransactionGraph.hs 481

1827−traverseGraph ./TransactionGraph.hs 482

1828−trimTuple ./Tuple.hs 216

1829−trimTuple ./Tuple.hs 217

1830−tupleAsHTML ./Relation/Show/HTML.hs 49

1831−tupleAsHTML ./Relation/Show/HTML.hs 50

1832−tupleAssocs ./Tuple.hs 29

1833−tupleAssocs ./Tuple.hs 30

1834−tupleAssocsEqualityPredicate ./Tupleable.hs 74

1835−tupleAssocsEqualityPredicate ./Tupleable.hs 75

1836−tupleAtomExtend ./Tuple.hs 151

1837−tupleAtomExtend ./Tuple.hs 152

1838−tupleAtoms ./Tuple.hs 41

1839−tupleAtoms ./Tuple.hs 42

1840−tupleAttributeNameSet ./Tuple.hs 23

1841−tupleAttributeNameSet ./Tuple.hs 24

1842−tupleAttributes ./Tuple.hs 26

1843−tupleAttributes ./Tuple.hs 27

1844−tupleExprCheckNewAttrName ./RelationalExpression.hs 746

1845−tupleExprCheckNewAttrName ./RelationalExpression.hs 747

1846−tupleExtend ./Tuple.hs 145

1847−tupleExtend ./Tuple.hs 146

1848−tupleIntersection ./Tuple.hs 167

1849−tupleIntersection ./Tuple.hs 168

1850−tupleProject ./Tuple.hs 157

1851−tupleProject ./Tuple.hs 158

1852−tupleRenameAttribute ./Tuple.hs 82

1853−tupleRenameAttribute ./Tuple.hs 83

1854−tupleSetAsHTML ./Relation/Show/HTML.hs 56

1855−tupleSetAsHTML ./Relation/Show/HTML.hs 57

1856−tupleSize ./Tuple.hs 20

1857−tupleSize ./Tuple.hs 21

1858−tupleToMap ./Tuple.hs 189

1859−tupleToMap ./Tuple.hs 190

1860−tupleUngroup ./Relation.hs 188

1861−tupleUngroup ./Relation.hs 189

1862−tuplesList ./Relation.hs 328

1863−tuplesList ./Relation.hs 329

1864−typeCheckScript ./ScriptSession.hs 176

1865−typeCheckScript ./ScriptSession.hs 177

1866−typeConsPath ./Transaction/Persist.hs 51

1867−typeConsPath ./Transaction/Persist.hs 52

1868−typeConstructorMapping ./Base.hs 288

1869−typeConstructorMapping ./Client.hs 855

1870−typeConstructorMapping ./Client.hs 856

1871−typeForRelationalExpr ./Client.hs 817

1872−typeForRelationalExpr ./Client.hs 818

1873−typeForRelationalExpr ./RelationalExpression.hs 643

1874−typeForRelationalExpr ./RelationalExpression.hs 644

1875−typeForRelationalExprSTM ./Client.hs 821

1876−typeForRelationalExprSTM ./Client.hs 822

1877−typeFromAtomExpr ./RelationalExpression.hs 815

1878−typeFromAtomExpr ./RelationalExpression.hs 816

1879−typeVarMapsVerify ./AtomType.hs 290

1880−typeVarMapsVerify ./AtomType.hs 291

1881−typeVars ./Base.hs 616

1882−typeVars ./Base.hs 617

1883−typeVars ./DataConstructorDef.hs 14

1884−typeVars ./DataConstructorDef.hs 15

1885−typeVars ./TypeConstructorDef.hs 8

1886−typeVars ./TypeConstructorDef.hs 9

1887−typeVarsInDefArg ./DataConstructorDef.hs 17

1888−typeVarsInDefArg ./DataConstructorDef.hs 18

1889−typesAsRelation ./Relation.hs 289

1890−typesAsRelation ./Relation.hs 290

1891−unAtom ./Relation/Show/CSV.hs 41

1892−unTuple ./Relation/Show/CSV.hs 33

1893−ungroup ./Relation.hs 173

1894−ungroup ./Relation.hs 174

1895−union ./Attribute.hs 147

1896−union ./Attribute.hs 148

1897−union ./Relation.hs 87

1898−union ./Relation.hs 88

1899−unionMergeAtomFunctions ./TransactionGraph/Merge.hs 56

1900−unionMergeAtomFunctions ./TransactionGraph/Merge.hs 57

1901−unionMergeDatabaseContextFunctions ./TransactionGraph/Merge.hs 86

1902−unionMergeDatabaseContextFunctions ./TransactionGraph/Merge.hs 87

1903−unionMergeMaps ./TransactionGraph/Merge.hs 15

1904−unionMergeMaps ./TransactionGraph/Merge.hs 16

1905−unionMergeRelVars ./TransactionGraph/Merge.hs 37

1906−unionMergeRelVars ./TransactionGraph/Merge.hs 38

1907−unionMergeRelation ./TransactionGraph/Merge.hs 25

1908−unionMergeRelation ./TransactionGraph/Merge.hs 26

1909−unionMergeTypeConstructorMapping ./TransactionGraph/Merge.hs 62

1910−unionMergeTypeConstructorMapping ./TransactionGraph/Merge.hs 63

1911−unlockFile ./FileLock.hs 53

1912−unlockFile ./FileLock.hs 54

1913−unlockFile ./FileLock.hs 89

1914−updateTupleWithAtomExprs ./RelationalExpression.hs 609

1915−updateTupleWithAtomExprs ./RelationalExpression.hs 610

1916−updateTupleWithAtoms ./Tuple.hs 181

1917−updateTupleWithAtoms ./Tuple.hs 182

1918−uuidAtom ./Sessions.hs 17

1919−uuidAtom ./Sessions.hs 18

1920−validateAtomType ./AtomType.hs 244

1921−validateAtomType ./AtomType.hs 245

1922−validateAttributes ./Tupleable.hs 113

1923−validateAttributes ./Tupleable.hs 114

1924−validateDatabaseContextExprInSchema ./IsomorphicSchema.hs 98

1925−validateDatabaseContextExprInSchema ./IsomorphicSchema.hs 99

1926−validateGraph ./TransactionGraph.hs 159

1927−validateGraph ./TransactionGraph.hs 160

1928−validateHeadName ./TransactionGraph.hs 334

1929−validateHeadName ./TransactionGraph.hs 335

1930−validateRelationalExprInSchema ./IsomorphicSchema.hs 84

1931−validateRelationalExprInSchema ./IsomorphicSchema.hs 85

1932−validateSchema ./IsomorphicSchema.hs 41

1933−validateSchema ./IsomorphicSchema.hs 42

1934−validateTuple ./AtomType.hs 264

1935−validateTuple ./AtomType.hs 265

1936−validateTypeConstructorDef ./AtomType.hs 131

1937−validateTypeConstructorDef ./AtomType.hs 132

1938−vectorIndicesForAttributeNames ./Tuple.hs 62

1939−vectorIndicesForAttributeNames ./Tuple.hs 63

1940−vectorUnion ./Tuple.hs 136

1941−vectorUnion ./Tuple.hs 137

1942−vectorUniqueify ./Attribute.hs 128

1943−vectorUniqueify ./Attribute.hs 129

1944−verifyAtomExprTypes ./RelationalExpression.hs 859

1945−verifyAtomExprTypes ./RelationalExpression.hs 860

1946−verifyAttributes ./Attribute.hs 132

1947−verifyAttributes ./Attribute.hs 133

1948−verifyTuple ./Tuple.hs 194

1949−verifyTuple ./Tuple.hs 195

1950−verifyTupleSet ./TupleSet.hs 18

1951−verifyTupleSet ./TupleSet.hs 19

1952−wIDEEASTASIAN ./WCWidth.hs 5

1953−wIDEEASTASIAN ./WCWidth.hs 6

1954−walkChildTransactions ./TransactionGraph.hs 189

1955−walkChildTransactions ./TransactionGraph.hs 190

1956−walkParentTransactions ./TransactionGraph.hs 171

1957−walkParentTransactions ./TransactionGraph.hs 172

1958−wcwidth ./WCWidth.hs 419

1959−wcwidth ./WCWidth.hs 420

1960−withHandleToHANDLE ./Win32Handle.hs 31

1961−withHandleToHANDLE ./Win32Handle.hs 32

1962−withStablePtr ./Win32Handle.hs 56

1963−withStablePtr ./Win32Handle.hs 57

1964−withTransaction ./Client.hs 1098

1965−withTransaction ./Client.hs 1099

1966−withTransaction ./Client/Simple.hs 72

1967−withTransaction ./Client/Simple.hs 73

1968−withTransactionUsing ./Client/Simple.hs 76

1969−withTransactionUsing ./Client/Simple.hs 77

1970−writeAtomFuncs ./Transaction/Persist.hs 117

1971−writeAtomFuncs ./Transaction/Persist.hs 118

1972−writeBSFileSync ./Persist.hs 97

1973−writeBSFileSync ./Persist.hs 98

1974−writeDBCFunc ./Transaction/Persist.hs 184

1975−writeDBCFunc ./Transaction/Persist.hs 185

1976−writeDBCFuncs ./Transaction/Persist.hs 181

1977−writeDBCFuncs ./Transaction/Persist.hs 182

1978−writeFileSync ./Persist.hs 52

1979−writeFileSync ./Persist.hs 53

1980−writeGraphTransactionIdFile ./TransactionGraph/Persist.hs 188

1981−writeGraphTransactionIdFile ./TransactionGraph/Persist.hs 189

1982−writeHTML ./Relation/Show/HTML.hs 43

1983−writeHTML ./Relation/Show/HTML.hs 44

1984−writeIncDep ./Transaction/Persist.hs 218

1985−writeIncDep ./Transaction/Persist.hs 219

1986−writeIncDeps ./Transaction/Persist.hs 222

1987−writeIncDeps ./Transaction/Persist.hs 223

1988−writeRel ./Relation/Show/HTML.hs 46

1989−writeRel ./Relation/Show/HTML.hs 47

1990−writeRelVar ./Transaction/Persist.hs 100

1991−writeRelVar ./Transaction/Persist.hs 101

1992−writeRelVars ./Transaction/Persist.hs 105

1993−writeRelVars ./Transaction/Persist.hs 106

1994−writeSubschemas ./Transaction/Persist.hs 242

1995−writeSubschemas ./Transaction/Persist.hs 243

1996−writeTransaction ./Transaction/Persist.hs 80

1997−writeTransaction ./Transaction/Persist.hs 81

1998−writeTypeConstructorMapping ./Transaction/Persist.hs 247

1999−writeTypeConstructorMapping ./Transaction/Persist.hs 248

2000−zEROWIDTH ./WCWidth.hs 115

2001−zEROWIDTH ./WCWidth.hs 116

test/TutorialD/Interpreter.hs+22−2

@@ -11,6 +11,8 @@ import ProjectM36.DatabaseContext

1111import ProjectM36.AtomFunctions.Primitive

1212import ProjectM36.DataTypes.Either

1313import ProjectM36.DataTypes.Interval

14+import ProjectM36.DataTypes.NonEmptyList

15+import ProjectM36.DataTypes.List

1416import ProjectM36.DateExamples

1517import ProjectM36.Base hiding (Finite)

1618import ProjectM36.TransactionGraph

@@ -67,7 +69,8 @@ main = do

6769 testAssignWithTypeVar,

6870 testDefineWithTypeVar,

6971 testIntervalType,

70− testArbitraryRelation

72+ testArbitraryRelation,

73+ testNonEmptyListType

7174 ]

7275 simpleRelTests = [("x:=true", Right relationTrue),

7376 ("x:=false", Right relationFalse),

@@ -587,4 +590,21 @@ testArbitraryRelation = TestCase $ do

587590 (sessionId, dbconn) <- dateExamplesConnection emptyNotificationCallback

588591 executeTutorialD sessionId dbconn "createarbitraryrelation rv1 {a Integer} 5-10"

589592 executeTutorialD sessionId dbconn "createarbitraryrelation rv2 {a Integer, b relation{c Integer}} 10-100"

590− executeTutorialD sessionId dbconn "createarbitraryrelation rv3 {a Int, b relation{c Interval Int}} 3-100"

593+ executeTutorialD sessionId dbconn "createarbitraryrelation rv3 {a Int, b relation{c Interval Int}} 3-100"

594+

595+testNonEmptyListType :: Test

596+testNonEmptyListType = TestCase $ do

597+ --create a NonEmptyList

598+ (sessionId, dbconn) <- dateExamplesConnection emptyNotificationCallback

599+ executeTutorialD sessionId dbconn "x:=relation{tuple{a NECons 3 (Cons 4 Empty)}} : {x:=nonEmptyListHead(@a)}"

600+ eX <- executeRelationalExpr sessionId dbconn (RelationVariable "x" ())

601+ let expected = mkRelationFromList attrs [[nelist, nehead]]

602+ attrs = attributesFromList [Attribute "a" neListType,

603+ Attribute "x" IntegerAtomType]

604+ neListType = nonEmptyListAtomType IntegerAtomType

605+ listType = listAtomType IntegerAtomType

606+ nelist = ConstructedAtom "NECons" (nonEmptyListAtomType IntegerAtomType) [

607+ IntegerAtom 3,

608+ ConstructedAtom "Cons" listType [IntegerAtom 4, ConstructedAtom "Empty" listType []]]

609+ nehead = IntegerAtom 3

610+ assertEqual "non-empty list type construction" expected eX