Idris.Parser.Ops

table

toTable

binary

prefix

backtick

nofixityoperator

operatorFront

fnName

fixity

checkDeclFixity

checkNameFixity

fixityType