Searched refs:SyntaxBindingLambda (Results 1 – 5 of 5) sorted by relevance
162 SyntaxBindingLambda r bs e -> SyntaxBindingLambda r (mapE bs) $ mapE e
156 pretty (SyntaxBindingLambda r bs e) = pretty (Lam r bs e)
102 = SyntaxBindingLambda Range (List1 LamBinding) e constructor797 SyntaxBindingLambda r _ _ -> r1111 killRange (SyntaxBindingLambda _ l e) = killRange2 (SyntaxBindingLambda noRange) l e1315 rnf (SyntaxBindingLambda _ a b) = rnf a `seq` rnf b
333 {-else-} $ \ bs -> set (noPlaceholder (SyntaxBindingLambda (fuseRange bs e) bs e)) arg
2965 toAbstractOpArg ctx (SyntaxBindingLambda r bs e) = toAbstractLam r bs e ctx