Safe Haskell | None |
---|---|
Language | Haskell2010 |
Permanently register and retrieve absolute type definitions
- data RepoProtocol
- recordType :: Model a => Config -> Proxy a -> IO ()
- solveType :: Repo -> Config -> AbsType -> IO (Either RepoError AbsTypeModel)
- knownTypes :: Config -> IO (Either String [(AbsRef, AbsADT)])
Documentation
data RepoProtocol Source #
A (simplistic) protocol to permanently store and retrieve ADT definitions.