Documentation

Fields

foldQualVar :: Term -> VarDecl -> a

 

foldQualOp :: Term -> OpBrand -> PolyId -> TypeScheme -> [Type] -> InstKind -> Range -> a

 

foldApplTerm :: Term -> a -> a -> Range -> a

 

foldTupleTerm :: Term -> [a] -> Range -> a

 

foldTypedTerm :: Term -> a -> TypeQual -> Type -> Range -> a

 

foldAsPattern :: Term -> VarDecl -> a -> Range -> a

 

foldQuantifiedTerm :: Term -> Quantifier -> [GenVarDecl] -> a -> Range -> a

 

foldLambdaTerm :: Term -> [a] -> Partiality -> a -> Range -> a

 

foldCaseTerm :: Term -> a -> [b] -> Range -> a

 

foldLetTerm :: Term -> LetBrand -> [b] -> a -> Range -> a

 

foldResolvedMixTerm :: Term -> Id -> [Type] -> [a] -> Range -> a

 

foldTermToken :: Term -> Token -> a

 

foldMixTypeTerm :: Term -> TypeQual -> Type -> Range -> a

 

foldMixfixTerm :: Term -> [a] -> a

 

foldBracketTerm :: Term -> BracketKind -> [a] -> Range -> a

 

foldProgEq :: ProgEq -> a -> a -> Range -> b