Core.Coverage

Definitions

isEmpty : Ref Ctxt Defs => Defs -> Env Term vars -> NF vars -> Core Bool

Visibility: export

getMissing : Ref Ctxt Defs => FC -> Name -> ClosedTerm -> CaseTree vars -> Core (List ClosedTerm)

Visibility: export

getNonCoveringRefs : Ref Ctxt Defs => FC -> Name -> Core (List Name)

Visibility: export

checkMatched : Ref Ctxt Defs => Bool -> List Clause -> ClosedTerm -> Core (Maybe ClosedTerm)

Visibility: export