Darcs.UI.Options

Documentation

module Darcs.UI.Options.Core

type DarcsOption = OptSpec DarcsOptDescr Flag

DarcsOption instantiates the first two type parameters of OptSpec to what we need in darcs. The first parameter is instantiated to The flag type is instantiate to Flag.

type PrimDarcsOption v = forall a. PrimOptSpec DarcsOptDescr Flag a v

This is PrimOptSpec instantiated with DarcsOptDescr and Flag.

type DarcsOptDescr = Compose OptDescr ((->) AbsolutePath)

We do not instantiate the d in OptSpec d f directly with OptDescr. Instead we (post-) compose it with (->) AbsolutePath. Modulo newtype noise, this is the same as

 type DarcsOptDescr f = OptDescr (AbsolutePath -> f)

This is so we can pass a directory relative to which an option argument is interpreted (if it has the form of a relative path).

optDescr :: AbsolutePath -> DarcsOptDescr f -> OptDescr f

Instantiate a DarcsOptDescr with an AbsolutePath

type Config = [Flag]