PAKCS
Exported names: Imported modules:

Module Check.AST.Indent.FuncRhs

Summary of exported operations:

checkRhs :: Decl a -> Int -> State CheckState ()   
checkRhs' :: SpanInfo -> [Equation a] -> State CheckState ()   
getRhs :: Equation a -> Rhs a   

Exported operations:

checkRhs :: Decl a -> Int -> State CheckState ()   

checkRhs' :: SpanInfo -> [Equation a] -> State CheckState ()   

Further infos:
  • partially defined

getRhs :: Equation a -> Rhs a   

Further infos:
  • solution complete, i.e., able to compute all solutions