djinn-ghc-0.0.1: Generate Haskell code from a type. Bridge from Djinn to GHC API.

Safe HaskellNone
LanguageHaskell98

Djinn.GHC

Synopsis

Documentation

djinn :: GhcMonad m => Bool -> Type -> 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.