CabalFmt.Fields

Copyright: Oleg Grenrus

Documentation

data FieldDescrs s a

A collection field parsers and pretty-printers.

Instances

FieldGrammar FieldDescrs

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

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)

Defined in CabalFmt.Fields

Methods

fmap :: (a -> b) -> FieldDescrs s a -> FieldDescrs s b

(<$) :: a -> FieldDescrs s b -> FieldDescrs s a

Applicative (FieldDescrs s)

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)

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

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 () ()

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