| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Types.Dictionaries
Synopsis
- makeDictionaries :: [RInstance LocSpecType] -> DEnv Symbol LocSpecType
- makeDictionary :: RInstance LocSpecType -> (Symbol, HashMap Symbol (RISig LocSpecType))
- dfromList :: [(Var, HashMap Symbol (RISig t))] -> DEnv Var t
- dmapty :: (a -> b) -> DEnv v a -> DEnv v b
- dmap :: (v1 -> v2) -> HashMap k v1 -> HashMap k v2
- dinsert :: (Eq x, Hashable x) => DEnv x ty -> x -> HashMap Symbol (RISig ty) -> DEnv x ty
- dlookup :: (Eq k, Hashable k) => DEnv k t -> k -> Maybe (HashMap Symbol (RISig t))
- dhasinfo :: (Symbolic a1, Show a) => Maybe (HashMap Symbol a) -> a1 -> Maybe a
- fromRISig :: RISig a -> a