Language.Ninja.AST.Deps

This module contains a type representing the dependencies of a build declaration in the parsed Ninja AST, along with any supporting or related types.

Since: 0.1.0

Deps

data Deps ann

A set of Ninja build dependencies.

Since: 0.1.0

Instances

Functor Deps

Methods

fmap :: (a -> b) -> Deps a -> Deps b

(<$) :: a -> Deps b -> Deps a

Foldable Deps

Methods

fold :: Monoid m => Deps m -> m

foldMap :: Monoid m => (a -> m) -> Deps a -> m

foldr :: (a -> b -> b) -> b -> Deps a -> b

foldr' :: (a -> b -> b) -> b -> Deps a -> b

foldl :: (b -> a -> b) -> b -> Deps a -> b

foldl' :: (b -> a -> b) -> b -> Deps a -> b

foldr1 :: (a -> a -> a) -> Deps a -> a

foldl1 :: (a -> a -> a) -> Deps a -> a

toList :: Deps a -> [a]

null :: Deps a -> Bool

length :: Deps a -> Int

elem :: Eq a => a -> Deps a -> Bool

maximum :: Ord a => Deps a -> a

minimum :: Ord a => Deps a -> a

sum :: Num a => Deps a -> a

product :: Num a => Deps a -> a

Traversable Deps

Methods

traverse :: Applicative f => (a -> f b) -> Deps a -> f (Deps b)

sequenceA :: Applicative f => Deps (f a) -> f (Deps a)

mapM :: Monad m => (a -> m b) -> Deps a -> m (Deps b)

sequence :: Monad m => Deps (m a) -> m (Deps a)

Annotated Deps

The usual definition for Annotated.

Since: 0.1.0

Methods

annotation' :: (ann -> ann') -> Lens (Deps ann) (Deps ann') ann ann'

(Monad m, DepsConstraint (Serial m) ann) => Serial m (Deps ann)

Default Serial instance via Generic.

Since: 0.1.0

Methods

series :: Series m (Deps ann)

(Monad m, DepsConstraint (CoSerial m) ann) => CoSerial m (Deps ann)

Default CoSerial instance via Generic.

Since: 0.1.0

Methods

coseries :: Series m b -> Series m (Deps ann -> b)

Eq ann => Eq (Deps ann)

Methods

(==) :: Deps ann -> Deps ann -> Bool

(/=) :: Deps ann -> Deps ann -> Bool

Show ann => Show (Deps ann)

Methods

showsPrec :: Int -> Deps ann -> ShowS

show :: Deps ann -> String

showList :: [Deps ann] -> ShowS

Generic (Deps ann)

Associated Types

type Rep (Deps ann) :: * -> *

Methods

from :: Deps ann -> Rep (Deps ann) x

to :: Rep (Deps ann) x -> Deps ann

(Arbitrary ann, DepsConstraint Arbitrary ann) => Arbitrary (Deps ann)

Reasonable Arbitrary instance for Deps.

Since: 0.2.0

Methods

arbitrary :: Gen (Deps ann)

shrink :: Deps ann -> [Deps ann]

Hashable ann => Hashable (Deps ann)

Default Hashable instance via Generic.

Since: 0.1.0

Methods

hashWithSalt :: Int -> Deps ann -> Int

hash :: Deps ann -> Int

ToJSON ann => ToJSON (Deps ann)

Converts to {ann: …, normal: …, implicit: …, order-only: …}.

Since: 0.1.0

Methods

toJSON :: Deps ann -> Value

toEncoding :: Deps ann -> Encoding

toJSONList :: [Deps ann] -> Value

toEncodingList :: [Deps ann] -> Encoding

FromJSON ann => FromJSON (Deps ann)

Inverse of the ToJSON instance.

Since: 0.1.0

Methods

parseJSON :: Value -> Parser (Deps ann)

parseJSONList :: Value -> Parser [Deps ann]

NFData ann => NFData (Deps ann)

Default NFData instance via Generic.

Since: 0.1.0

Methods

rnf :: Deps ann -> ()

type Rep (Deps ann)

type Rep (Deps ann) = D1 (MetaData "Deps" "Language.Ninja.AST.Deps" "language-ninja-0.2.0-4aVVODOvkNMFxGcRpnztag" False) (C1 (MetaCons "MkDeps" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_depsAnn") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ann)) (S1 (MetaSel (Just Symbol "_depsNormal") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (HashSet Text)))) ((:*:) (S1 (MetaSel (Just Symbol "_depsImplicit") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (HashSet Text))) (S1 (MetaSel (Just Symbol "_depsOrderOnly") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (HashSet Text))))))

makeDeps :: Monoid ann => Deps ann

Construct a Deps with all default values

Since: 0.1.0

depsNormal :: Lens' (Deps ann) (HashSet Text)

A lens into the set of normal dependencies in a Deps.

Since: 0.1.0

depsImplicit :: Lens' (Deps ann) (HashSet Text)

A lens into the set of implicit dependencies in a Deps.

Since: 0.1.0

depsOrderOnly :: Lens' (Deps ann) (HashSet Text)

A lens into the set of order-only dependencies in a Deps.

Since: 0.1.0

type DepsConstraint c ann = (c (HashSet Text), c ann)

The set of constraints required for a given constraint to be automatically computed for a Ninja.

Since: 0.1.0