liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Desugar.DsForeign

Documentation

dsForeigns :: [LForeignDecl Id] -> DsM (ForeignStubs, OrdList Binding) Source #