AST.Knot.Ann.Arbitrary

Arbitrary instance for annotated ASTs, respecting scopes.

Documentation

class Arbitrary a => ArbitraryWithContext a where

Associated Types

type Context a

Methods

arbitraryCtx :: Context a -> Gen a

Instances

(Arbitrary a, ArbitraryWithContext (k # Ann a)) => ArbitraryWithContext (Ann a k)

Defined in AST.Knot.Ann.Arbitrary

Associated Types

type Context (Ann a k) :: Type

Methods

arbitraryCtx :: Context (Ann a k) -> Gen (Ann a k)

type ArbitraryWithContextOf c a = (ArbitraryWithContext a, Context a ~ c)

Orphan instances

(Arbitrary a, Arbitrary (k # Ann a)) => Arbitrary (Ann a k)

Methods

arbitrary :: Gen (Ann a k)

shrink :: Ann a k -> [Ann a k]