idris-0.12.2: Functional Programming Language with Dependent Types
Idris.WhoCalls
Description
whoCalls :: Name -> Idris [(Name, [Name])] Source #
callsWho :: Name -> Idris [(Name, [Name])] Source #