Safe Haskell	None
Language	Haskell2010

Update.Nix.FetchGit.Types

Synopsis

type M = ReaderT Env (ValidateT (Dual [Warning]) IO)
runM :: Env -> M a -> IO ([Warning], Maybe a)
asWarnings :: (Functor m, Monoid e) => ValidateT e m a -> m (e, Maybe a)
data Env = Env {
- sayLog :: Verbosity -> Text -> IO ()
- updateLocations :: [(Int, Int)]
- attrPatterns :: [Regex]
- dryness :: Dryness
- onlyCommented :: Bool
}
data Dryness
- = Dry
- | Wet
data Verbosity
- = Verbose
- | Normal
- | Quiet
newtype Updater = Updater {
- unUpdater :: M (Maybe Day, [SpanUpdate])
}
data FetchTree
- = Node {
  - nodeVersionExpr :: Maybe NExprLoc
  - nodeChildren :: [(Maybe Text, FetchTree)]
  }
- | UpdaterNode Updater
data RepoLocation
- = URL Text
- | GitHub {
  - repoOwner :: Text
  - repoRepo :: Text
  }
- | GitLab {
  - repoOwner :: Text
  - repoRepo :: Text
  }

Documentation

type M = ReaderT Env (ValidateT (Dual [Warning]) IO) Source #

runM :: Env -> M a -> IO ([Warning], Maybe a) Source #

asWarnings :: (Functor m, Monoid e) => ValidateT e m a -> m (e, Maybe a) Source #

Runs a ValidateT computation returning the errors raised by refute or dispute if any, as well as returning the computation’s result if possible.

data Env Source #

Constructors

Env
Fields sayLog :: Verbosity -> Text -> IO () updateLocations :: [(Int, Int)] attrPatterns :: [Regex] dryness :: Dryness onlyCommented :: Bool

data Dryness Source #

Is this a dry run or not

Constructors

Dry
Wet

data Verbosity Source #

Constructors

Verbose
Normal
Quiet

newtype Updater Source #

Constructors

Updater
Fields unUpdater :: M (Maybe Day, [SpanUpdate])

data FetchTree Source #

A tree with a structure similar to the AST of the Nix file we are parsing, but which only contains the information we care about.

Constructors

Node
Fields nodeVersionExpr :: Maybe NExprLoc nodeChildren :: [(Maybe Text, FetchTree)]
UpdaterNode Updater

data RepoLocation Source #

A repo is either specified by URL or by Github owner/repo.

Constructors

URL Text
GitHub
Fields repoOwner :: Text repoRepo :: Text
GitLab
Fields repoOwner :: Text repoRepo :: Text

Instances

Instances details

Show RepoLocation Source #
Instance details Defined in Update.Nix.FetchGit.Types Methods showsPrec :: Int -> RepoLocation -> ShowS # show :: RepoLocation -> String # showList :: [RepoLocation] -> ShowS #