Summoner.Config

Summoner configurations.

Documentation

data ConfigP (p :: Phase)

Potentially incomplete configuration.

Constructors

Config

Fields

• cOwner :: p :- Text
• cFullName :: p :- Text
• cEmail :: p :- Text
• cLicense :: p :- License
• cGhcVer :: p :- [GhcVer]
• cGitHub :: Decision
• cTravis :: Decision
• cAppVey :: Decision
• cPrivate :: Decision
• cScript :: Decision
• cLib :: Decision
• cExe :: Decision
• cTest :: Decision
• cBench :: Decision
• cPrelude :: Last CustomPrelude
• cExtensions :: [Text]

Instances

Semigroup PartialConfig

Methods

(<>) :: PartialConfig -> PartialConfig -> PartialConfig

sconcat :: NonEmpty PartialConfig -> PartialConfig

stimes :: Integral b => b -> PartialConfig -> PartialConfig

Monoid PartialConfig

Methods

mempty :: PartialConfig

mappend :: PartialConfig -> PartialConfig -> PartialConfig

mconcat :: [PartialConfig] -> PartialConfig

Generic (ConfigP p)

Associated Types

type Rep (ConfigP p) :: * -> *

Methods

from :: ConfigP p -> Rep (ConfigP p) x

to :: Rep (ConfigP p) x -> ConfigP p

(GSemigroup ((:-) p Text), GSemigroup ((:-) p License), GSemigroup ((:-) p [GhcVer])) => GSemigroup (ConfigP p)

Methods

gsappend :: ConfigP p -> ConfigP p -> ConfigP p

gstimes :: Integral b => b -> ConfigP p -> ConfigP p

gsconcat :: NonEmpty (ConfigP p) -> ConfigP p

(GMonoid ((:-) p Text), GMonoid ((:-) p License), GMonoid ((:-) p [GhcVer])) => GMonoid (ConfigP p)

Methods

gmempty :: ConfigP p

gmappend :: ConfigP p -> ConfigP p -> ConfigP p

gmconcat :: [ConfigP p] -> ConfigP p

type Rep (ConfigP p)

type Rep (ConfigP p)

type PartialConfig = ConfigP Partial

Incomplete configurations.

type Config = ConfigP Final

Complete configurations.

defaultConfig :: PartialConfig

Default Config configurations.

finalise :: PartialConfig -> Validation [Text] Config

Make sure that all the required configurations options were specified.

loadFileConfig :: MonadIO m => FilePath -> m PartialConfig

Read configuration from the given file and return it in data type.