| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Network.Top.Repo
Description
Permanently register and retrieve absolute type definitions
- data RepoProtocol
- recordType :: Model a => Config -> Proxy a -> IO ()
- recordADTs :: Foldable t => Config -> t AbsADT -> IO ()
- solveType :: Repo -> Config -> AbsType -> IO (Either RepoError AbsTypeModel)
- solveRefs :: Repo -> Config -> [AbsRef] -> IO (Either RepoError (Map AbsRef AbsADT))
- knownTypes :: Config -> IO (Either String [(AbsRef, AbsADT)])
Documentation
data RepoProtocol Source #
A (simplistic) protocol to permanently store and retrieve ADT definitions.
Constructors
| Record AbsADT | Permanently record an absolute type |
| Solve AbsRef | Retrieve the absolute type |
| Solved AbsRef AbsADT | Return the absolute type identified by an absolute reference |
| AskDataTypes | Request the list of all known data types |
| KnownDataTypes [(AbsRef, AbsADT)] | Return the list of all known data types |
Instances
recordType :: Model a => Config -> Proxy a -> IO () Source #
Permanently record all the ADT definitions referred by a type, with all their dependencies
recordADTs :: Foldable t => Config -> t AbsADT -> IO () Source #
Permanently record a set of ADT definitions with all their dependencies
solveType :: Repo -> Config -> AbsType -> IO (Either RepoError AbsTypeModel) Source #
Retrieve the full type model for the given absolute type from Top's RepoProtocol channel, using the given Repo as a cache