liquidhaskell-boot-0.9.2.5.0: Liquid Types for Haskell
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Haskell.Liquid.Transforms.Rec

Documentation

innerScTr :: Functor f => f (Bind Id) -> f (Bind Id) Source #