maybeDBName | ConnectionSpec |
maybeIntValue | MaybeIntValue |
maybePassword | ConnectionSpec |
maybePort | ConnectionSpec |
migrateData | |
1 (Function) | Authorisation |
2 (Function) | LearningData |
3 (Function) | DeckData |
mkLearnDatum | LearningData |
mkUser | Authorisation |
maybeDBName | ConnectionSpec |
maybeIntValue | MaybeIntValue |
maybePassword | ConnectionSpec |
maybePort | ConnectionSpec |
migrateData | |
1 (Function) | Authorisation |
2 (Function) | LearningData |
3 (Function) | DeckData |
mkLearnDatum | LearningData |
mkUser | Authorisation |