Language.Ninja.AST.Rule

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

Since: 0.1.0

Documentation

data Rule ann

A parsed Ninja rule declaration.

Since: 0.1.0

Instances

Functor Rule

Methods

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

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

Foldable Rule

Methods

fold :: Monoid m => Rule m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Rule a -> a

foldl1 :: (a -> a -> a) -> Rule a -> a

toList :: Rule a -> [a]

null :: Rule a -> Bool

length :: Rule a -> Int

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

maximum :: Ord a => Rule a -> a

minimum :: Ord a => Rule a -> a

sum :: Num a => Rule a -> a

product :: Num a => Rule a -> a

Traversable Rule

Methods

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

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

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

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

Annotated Rule

The usual definition for Annotated.

Since: 0.1.0

Methods

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

(Monad m, RuleConstraint (Serial m) ann) => Serial m (Rule ann)

Default Serial instance via Generic.

Since: 0.1.0

Methods

series :: Series m (Rule ann)

(Monad m, RuleConstraint (CoSerial m) ann) => CoSerial m (Rule ann)

Default CoSerial instance via Generic.

Since: 0.1.0

Methods

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

Eq ann => Eq (Rule ann)

Methods

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

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

Show ann => Show (Rule ann)

Methods

showsPrec :: Int -> Rule ann -> ShowS

show :: Rule ann -> String

showList :: [Rule ann] -> ShowS

Generic (Rule ann)

Associated Types

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

Methods

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

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

(Arbitrary ann, RuleConstraint Arbitrary ann) => Arbitrary (Rule ann)

Reasonable Arbitrary instance for Rule.

Since: 0.2.0

Methods

arbitrary :: Gen (Rule ann)

shrink :: Rule ann -> [Rule ann]

Hashable ann => Hashable (Rule ann)

Default Hashable instance via Generic.

Since: 0.1.0

Methods

hashWithSalt :: Int -> Rule ann -> Int

hash :: Rule ann -> Int

ToJSON ann => ToJSON (Rule ann)

Converts to {ann: …, bind: …}.

Since: 0.1.0

Methods

toJSON :: Rule ann -> Value

toEncoding :: Rule ann -> Encoding

toJSONList :: [Rule ann] -> Value

toEncodingList :: [Rule ann] -> Encoding

FromJSON ann => FromJSON (Rule ann)

Inverse of the ToJSON instance.

Since: 0.1.0

Methods

parseJSON :: Value -> Parser (Rule ann)

parseJSONList :: Value -> Parser [Rule ann]

NFData ann => NFData (Rule ann)

Default NFData instance via Generic.

Since: 0.1.0

Methods

rnf :: Rule ann -> ()

type Rep (Rule ann)

type Rep (Rule ann) = D1 (MetaData "Rule" "Language.Ninja.AST.Rule" "language-ninja-0.2.0-4aVVODOvkNMFxGcRpnztag" False) (C1 (MetaCons "MkRule" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_ruleAnn") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 ann)) (S1 (MetaSel (Just Symbol "_ruleBind") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (HashMap Text (Expr ann))))))

makeRule :: Monoid ann => Rule ann

Construct a Rule with all default values

Since: 0.1.0

ruleBind :: Lens' (Rule ann) (HashMap Text (Expr ann))

The set of bindings in scope during the execution of this rule.

Since: 0.1.0

type RuleConstraint c ann = (c (HashMap Text (Expr ann)), c ann)

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

Since: 0.1.0