liquidhaskell-0.8.0.5: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Types.Dictionaries

Documentation

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

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

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

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

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

mapRISig :: (a -> b) -> RISig a -> RISig b Source #