| Safe Haskell | None |
|---|
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.