liquidhaskell-0.4.1.1: Liquid Types for Haskell
Language.Haskell.Liquid.Dictionaries
makeDictionaries :: [RInstance SpecType] -> DEnv Symbol SpecType Source
makeDictionary :: RInstance SpecType -> (Symbol, HashMap Symbol SpecType) Source
dfromList :: [(Var, HashMap Symbol t)] -> DEnv Var t Source
dmapty :: (a -> b) -> DEnv v a -> DEnv v b Source
dmap :: (v1 -> v2) -> HashMap k v1 -> HashMap k v2 Source
dinsert :: (Hashable x, Eq x) => DEnv x ty -> x -> HashMap Symbol ty -> DEnv x ty Source
dlookup :: (Hashable k, Eq k) => DEnv k t -> k -> Maybe (HashMap Symbol t) Source
dhasinfo :: Show a1 => Maybe (HashMap Symbol a) -> a1 -> Maybe a Source