goldplate
Safe HaskellNone
LanguageHaskell2010

Goldplate

Synopsis

Documentation

main :: IO () Source #

data Options Source #

Command-line options.

Constructors

Options 

Fields

data Spec a Source #

A specification that we parse from a JSON file. The type parameter indicates the fields that we allow splicing over.

Constructors

Spec 

Fields

Instances

Instances details
Functor Spec Source # 
Instance details

Defined in Goldplate

Methods

fmap :: (a -> b) -> Spec a -> Spec b #

(<$) :: a -> Spec b -> Spec a #

Foldable Spec Source # 
Instance details

Defined in Goldplate

Methods

fold :: Monoid m => Spec m -> m #

foldMap :: Monoid m => (a -> m) -> Spec a -> m #

foldMap' :: Monoid m => (a -> m) -> Spec a -> m #

foldr :: (a -> b -> b) -> b -> Spec a -> b #

foldr' :: (a -> b -> b) -> b -> Spec a -> b #

foldl :: (b -> a -> b) -> b -> Spec a -> b #

foldl' :: (b -> a -> b) -> b -> Spec a -> b #

foldr1 :: (a -> a -> a) -> Spec a -> a #

foldl1 :: (a -> a -> a) -> Spec a -> a #

toList :: Spec a -> [a] #

null :: Spec a -> Bool #

length :: Spec a -> Int #

elem :: Eq a => a -> Spec a -> Bool #

maximum :: Ord a => Spec a -> a #

minimum :: Ord a => Spec a -> a #

sum :: Num a => Spec a -> a #

product :: Num a => Spec a -> a #

Traversable Spec Source # 
Instance details

Defined in Goldplate

Methods

traverse :: Applicative f => (a -> f b) -> Spec a -> f (Spec b) #

sequenceA :: Applicative f => Spec (f a) -> f (Spec a) #

mapM :: Monad m => (a -> m b) -> Spec a -> m (Spec b) #

sequence :: Monad m => Spec (m a) -> m (Spec a) #

FromJSON (Spec String) Source # 
Instance details

Defined in Goldplate

data Assert a Source #

Asserts that can happen after an execution.

Instances

Instances details
Functor Assert Source # 
Instance details

Defined in Goldplate

Methods

fmap :: (a -> b) -> Assert a -> Assert b #

(<$) :: a -> Assert b -> Assert a #

Foldable Assert Source # 
Instance details

Defined in Goldplate

Methods

fold :: Monoid m => Assert m -> m #

foldMap :: Monoid m => (a -> m) -> Assert a -> m #

foldMap' :: Monoid m => (a -> m) -> Assert a -> m #

foldr :: (a -> b -> b) -> b -> Assert a -> b #

foldr' :: (a -> b -> b) -> b -> Assert a -> b #

foldl :: (b -> a -> b) -> b -> Assert a -> b #

foldl' :: (b -> a -> b) -> b -> Assert a -> b #

foldr1 :: (a -> a -> a) -> Assert a -> a #

foldl1 :: (a -> a -> a) -> Assert a -> a #

toList :: Assert a -> [a] #

null :: Assert a -> Bool #

length :: Assert a -> Int #

elem :: Eq a => a -> Assert a -> Bool #

maximum :: Ord a => Assert a -> a #

minimum :: Ord a => Assert a -> a #

sum :: Num a => Assert a -> a #

product :: Num a => Assert a -> a #

Traversable Assert Source # 
Instance details

Defined in Goldplate

Methods

traverse :: Applicative f => (a -> f b) -> Assert a -> f (Assert b) #

sequenceA :: Applicative f => Assert (f a) -> f (Assert a) #

mapM :: Monad m => (a -> m b) -> Assert a -> m (Assert b) #

sequence :: Monad m => Assert (m a) -> m (Assert a) #

FromJSON a => FromJSON (Assert a) Source # 
Instance details

Defined in Goldplate