syntaxcollect

cfamily.Init.collectOption

def Init.collectOption {A : Type} (p : Expr -> List A) (m : Option Init) : List A

What p finds on every expression in an optional initializer.

cfamily.Param.collect

def Param.collect {A : Type} (p : Expr -> List A) (x : Param) : List A

What p finds on every expression in a parameter (its default).

cfamily.Param.collectIn

def Param.collectIn {A : Type} (p : Expr -> List A) (xs : List Param) : List A

What p finds on every expression in parameters.

cfamily.Enumerator.collect

def Enumerator.collect {A : Type} (p : Expr -> List A) (x : Enumerator) : List A

What p finds on every expression in an enumerator (its value).

cfamily.Enumerator.collectIn

def Enumerator.collectIn {A : Type} (p : Expr -> List A) (xs : List Enumerator) : List A

What p finds on every expression in enumerators.

cfamily.TypeDefinition.collect

def TypeDefinition.collect {A : Type} (p : Expr -> List A) (x : TypeDefinition) : List A

What p finds on every expression in a type defined in a block (its enumerators’ values).

cfamily.MemberInit.collect

def MemberInit.collect {A : Type} (p : Expr -> List A) (x : MemberInit) : List A

What p finds on every expression in a member’s initializer in a constructor.

cfamily.MemberInit.collectIn

def MemberInit.collectIn {A : Type} (p : Expr -> List A) (xs : List MemberInit) : List A

What p finds on every expression in members’ initializers.

cfamily.FunctionDefinition.collect

def FunctionDefinition.collect {A : Type} (p : Expr -> List A) (x : FunctionDefinition) : List A

What p finds on every expression in a function’s definition.

cfamily.ClassDefinition.collect

def ClassDefinition.collect {A : Type} (p : Expr -> List A) (x : ClassDefinition) : List A

What p finds on every expression in a class’s definition.