Safe Haskell | None |
---|---|

Language | Haskell98 |

# Documentation

type family Constraints (cs :: [Constraint]) :: Constraint Source #

type Constraints ([] Constraint) Source # | |

type Constraints ((:) Constraint c cs) Source # | |

type AllHave (c :: k -> Constraint) (xs :: [k]) = Constraints (Map c xs) Source #

safeFromJust :: String -> Maybe a -> a Source #

stripQuals :: SpecType -> SpecType Source #

loadModule :: FilePath -> Ghc ModSummary Source #