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