Document cell-load pipeline

cell-load.hs

-- | Load a renamed cell.
resolveRenamedCell ::
     Map Hash (Either LoadError LoadedExpression)
  -> FillerEnv LoadError
  -> IsRenamed (Expression Renamed)
  -> RIO DocumentReader (Either LoadError (IsResolved (Expression Resolved)))
resolveRenamedCell globalTypes globalHashes isRenamed = do
  hasConstraints <-
    pure $
    first LoadGenerateError $
    generateRenamed
      (fmap (fmap loadedExpressionScheme) globalTypes)
      globalHashes
      isRenamed?
  ref <- RIO.newSomeRef 0
  binds <- RIO.newSomeRef mempty
  isSolved <-
    fmap (first LoadSolveError) $
    RIO.runRIO
      SolveReader {glogfunc = mempty, counter = ref, binds}
      (solveGenerated hasConstraints)?
  isGeneralised <-
    fmap (first LoadGeneraliseError) $
    RIO.runRIO GeneraliseReader (generaliseSolved isSolved)?
  isResolved <-
    fmap (first LoadResolveError) $
    RIO.runRIO ResolveReader (resolveGeneralised isGeneralised)?
  pure (Right isResolved)