Language.Haskell.Liquid.Dictionaries

Documentation

makeDictionaries :: [RInstance SpecType] -> DEnv Symbol SpecType

makeDictionary :: RInstance SpecType -> (Symbol, HashMap Symbol SpecType)

dfromList :: [(Var, HashMap Symbol t)] -> DEnv Var t

dmapty :: (a -> b) -> DEnv v a -> DEnv v b

dmap :: (v1 -> v2) -> HashMap k v1 -> HashMap k v2

dinsert :: (Hashable x, Eq x) => DEnv x ty -> x -> HashMap Symbol ty -> DEnv x ty

dlookup :: (Hashable k, Eq k) => DEnv k t -> k -> Maybe (HashMap Symbol t)

dhasinfo :: Show a1 => Maybe (HashMap Symbol a) -> a1 -> Maybe a