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