| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Djinn.GHC
- type Environment = [(Name, Type)]
- newtype MaxSolutions = Max Int
- djinn :: GhcMonad m => Bool -> Maybe ModuleInfo -> Environment -> Type -> MaxSolutions -> Int -> m [String]
Documentation
type Environment = [(Name, Type)] Source
Bindings which are in scope at a specific point.
djinn :: GhcMonad m => Bool -> Maybe ModuleInfo -> Environment -> Type -> MaxSolutions -> Int -> m [String] Source
Obtain the list of expressions which could fill something with the given type. The first flag specifies whether to return one or more solutions to the problem.