License	GPL-3.0-or-later
Safe Haskell	None
Language	Haskell2010

CabalFmt.Fields

Description

Copyright: Oleg Grenrus

Synopsis

data FieldDescrs s a
fieldDescrLookup :: CabalParsing m => FieldDescrs s a -> FieldName -> (forall f. m f -> (f -> Doc) -> r) -> Maybe r
coerceFieldDescrs :: FieldDescrs s a -> FieldDescrs () ()
singletonF :: FieldName -> (f -> Doc) -> (forall m. CabalParsing m => m f) -> FieldDescrs s a

Documentation

data FieldDescrs s a Source #

A collection field parsers and pretty-printers.

Instances

FieldGrammar FieldDescrs Source #
Instance details Defined in CabalFmt.Fields Methods blurFieldGrammar :: ALens' a b -> FieldDescrs b c -> FieldDescrs a c # uniqueFieldAla :: (Parsec b, Pretty b, Newtype a b) => FieldName -> (a -> b) -> ALens' s a -> FieldDescrs s a # booleanFieldDef :: FieldName -> ALens' s Bool -> Bool -> FieldDescrs s Bool # optionalFieldAla :: (Parsec b, Pretty b, Newtype a b) => FieldName -> (a -> b) -> ALens' s (Maybe a) -> FieldDescrs s (Maybe a) # optionalFieldDefAla :: (Parsec b, Pretty b, Newtype a b, Eq a) => FieldName -> (a -> b) -> ALens' s a -> a -> FieldDescrs s a # freeTextField :: FieldName -> ALens' s (Maybe String) -> FieldDescrs s (Maybe String) # freeTextFieldDef :: FieldName -> ALens' s String -> FieldDescrs s String # freeTextFieldDefST :: FieldName -> ALens' s ShortText -> FieldDescrs s ShortText # monoidalFieldAla :: (Parsec b, Pretty b, Monoid a, Newtype a b) => FieldName -> (a -> b) -> ALens' s a -> FieldDescrs s a # prefixedFields :: FieldName -> ALens' s [(String, String)] -> FieldDescrs s [(String, String)] # knownField :: FieldName -> FieldDescrs s () # hiddenField :: FieldDescrs s a -> FieldDescrs s a # deprecatedSince :: CabalSpecVersion -> String -> FieldDescrs s a -> FieldDescrs s a # removedIn :: CabalSpecVersion -> String -> FieldDescrs s a -> FieldDescrs s a # availableSince :: CabalSpecVersion -> a -> FieldDescrs s a -> FieldDescrs s a #
Functor (FieldDescrs s) Source #
Instance details Defined in CabalFmt.Fields Methods fmap :: (a -> b) -> FieldDescrs s a -> FieldDescrs s b # (<$) :: a -> FieldDescrs s b -> FieldDescrs s a #
Applicative (FieldDescrs s) Source #
Instance details Defined in CabalFmt.Fields Methods pure :: a -> FieldDescrs s a # (<>) :: FieldDescrs s (a -> b) -> FieldDescrs s a -> FieldDescrs s b # liftA2 :: (a -> b -> c) -> FieldDescrs s a -> FieldDescrs s b -> FieldDescrs s c # (>) :: FieldDescrs s a -> FieldDescrs s b -> FieldDescrs s b # (<*) :: FieldDescrs s a -> FieldDescrs s b -> FieldDescrs s a #
Semigroup (FieldDescrs s a) Source #
Instance details Defined in CabalFmt.Fields Methods (<>) :: FieldDescrs s a -> FieldDescrs s a -> FieldDescrs s a # sconcat :: NonEmpty (FieldDescrs s a) -> FieldDescrs s a # stimes :: Integral b => b -> FieldDescrs s a -> FieldDescrs s a #

fieldDescrLookup :: CabalParsing m => FieldDescrs s a -> FieldName -> (forall f. m f -> (f -> Doc) -> r) -> Maybe r Source #

Lookup both pretty-printer and value parser.

As the value of the field is unknown, we have to work with it universally.

coerceFieldDescrs :: FieldDescrs s a -> FieldDescrs () () Source #

singletonF :: FieldName -> (f -> Doc) -> (forall m. CabalParsing m => m f) -> FieldDescrs s a Source #