Searched refs:IApplyType (Results 1 – 1 of 1) sorted by relevance
612 | IApplyType a a | IApplyFst a a | IApplySnd a a constructor620 firstHole (IApply a x y) = Just (a, IApplyType x y)624 plugHole a (IApplyType x y) = IApply a x y628 nextHole a (IApplyType x y) = Right (x, IApplyFst a y)