Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
defaultUniques :: [Unique] Source #
defaultTyUniques :: [Unique] Source #
:: (Ord name, MonadError LambdaException m) | |
=> [name] | Unique supply |
-> [name] | Free Variables |
-> m name |
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
defaultUniques :: [Unique] Source #
defaultTyUniques :: [Unique] Source #
:: (Ord name, MonadError LambdaException m) | |
=> [name] | Unique supply |
-> [name] | Free Variables |
-> m name |