Searched refs:ArgsCheckState (Results 1 – 3 of 3) sorted by relevance
13 (ArgsCheckState CheckedTarget -> TCM Term) -> TCM Term
81 acHeadConstraints :: (Elims -> Term) -> ArgsCheckState a -> [Constraint]89 checkHeadConstraints :: (Elims -> Term) -> ArgsCheckState a -> TCM Term556 ExceptT (ArgsCheckState [NamedArg A.Expr]) TCM (ArgsCheckState CheckedTarget)567 -> ExceptT (ArgsCheckState [NamedArg A.Expr]) TCM (ArgsCheckState CheckedTarget)782 (ArgsCheckState CheckedTarget -> TCM Term) -> TCM Term792 postponeArgs :: (ArgsCheckState [NamedArg A.Expr]) -> Comparison -> ExpandHidden -> Range -> [Named…793 (ArgsCheckState CheckedTarget -> TCM Term) -> TCM Term
1334 …| CheckArgs Comparison ExpandHidden Range [NamedArg A.Expr] Type Type (ArgsCheckState CheckedTarge…3212 data ArgsCheckState a = ACState type