syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Knot.Ann.Arbitrary

Contents

Description

Arbitrary instance for annotated ASTs, respecting scopes.

Documentation

class Arbitrary a => ArbitraryWithContext a where Source #

Associated Types

type Context a Source #

Methods

arbitraryCtx :: Context a -> Gen a Source #

Instances
(Arbitrary a, ArbitraryWithContext (k # Ann a)) => ArbitraryWithContext (Ann a k) Source # 
Instance details

Defined in AST.Knot.Ann.Arbitrary

Associated Types

type Context (Ann a k) :: Type Source #

Methods

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

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

Orphan instances

(Arbitrary a, Arbitrary (k # Ann a)) => Arbitrary (Ann a k) Source # 
Instance details

Methods

arbitrary :: Gen (Ann a k) #

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