Yaya.Hedgehog.Expr

Documentation

data Expr a

Constructors

Lit Int

Add a a

Mult a a

Instances

Foldable Expr

Defined in Yaya.Hedgehog.Expr

Methods

fold :: Monoid m => Expr m -> m

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

foldMap' :: Monoid m => (a -> m) -> Expr a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> Expr a -> a

foldl1 :: (a -> a -> a) -> Expr a -> a

toList :: Expr a -> [a]

null :: Expr a -> Bool

length :: Expr a -> Int

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

maximum :: Ord a => Expr a -> a

minimum :: Ord a => Expr a -> a

sum :: Num a => Expr a -> a

product :: Num a => Expr a -> a

Eq1 Expr

Defined in Yaya.Hedgehog.Expr

Methods

liftEq :: (a -> b -> Bool) -> Expr a -> Expr b -> Bool

Show1 Expr

Defined in Yaya.Hedgehog.Expr

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Expr a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Expr a] -> ShowS

Traversable Expr

Defined in Yaya.Hedgehog.Expr

Methods

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

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

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

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

Functor Expr

Defined in Yaya.Hedgehog.Expr

Methods

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

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

Show a => Show (Expr a)

Defined in Yaya.Hedgehog.Expr

Methods

showsPrec :: Int -> Expr a -> ShowS

show :: Expr a -> String

showList :: [Expr a] -> ShowS

Eq a => Eq (Expr a)

Defined in Yaya.Hedgehog.Expr

Methods

(==) :: Expr a -> Expr a -> Bool

(/=) :: Expr a -> Expr a -> Bool

expression :: Steppable (->) t Expr => Size -> Gen t

genCofixExpr :: Size -> Gen (Cofix Expr)

genExpr :: Gen a -> Gen (Expr a)

genExprLit :: Gen (Expr a)

genExprOp :: Gen a -> Gen (Expr a)

genFixExpr :: Size -> Gen (Fix Expr)

genMuExpr :: Size -> Gen (Mu Expr)

genNuExpr :: Size -> Gen (Nu Expr)