syntaxwalk

cfamily.Syntax.anyOf

def Syntax.anyOf (flags : List Bool) : Bool

Whether any of the flags holds.

cfamily.Init.anyOption

def Init.anyOption (p : Expr -> Bool) (m : Option Init) : Bool

Whether p holds on any expression in an optional initializer.

cfamily.Param.any

def Param.any (p : Expr -> Bool) (x : Param) : Bool

Whether p holds on any expression in a parameter (its default).

cfamily.Param.anyIn

def Param.anyIn (p : Expr -> Bool) (xs : List Param) : Bool

Whether p holds on any expression in parameters.

cfamily.Enumerator.any

def Enumerator.any (p : Expr -> Bool) (x : Enumerator) : Bool

Whether p holds on any expression in an enumerator (its value).

cfamily.Enumerator.anyIn

def Enumerator.anyIn (p : Expr -> Bool) (xs : List Enumerator) : Bool

Whether p holds on any expression in enumerators.

cfamily.TypeDefinition.any

def TypeDefinition.any (p : Expr -> Bool) (x : TypeDefinition) : Bool

Whether p holds on any expression in a type defined in a block (its enumerators’ values).

cfamily.MemberInit.any

def MemberInit.any (p : Expr -> Bool) (x : MemberInit) : Bool

Whether p holds on any expression in a member’s initializer in a constructor.

cfamily.MemberInit.anyIn

def MemberInit.anyIn (p : Expr -> Bool) (xs : List MemberInit) : Bool

Whether p holds on any expression in members’ initializers.

cfamily.FunctionDefinition.any

def FunctionDefinition.any (p : Expr -> Bool) (x : FunctionDefinition) : Bool

Whether p holds on any expression in a function’s definition.

cfamily.ClassDefinition.any

def ClassDefinition.any (p : Expr -> Bool) (x : ClassDefinition) : Bool

Whether p holds on any expression in a class’s definition.