impossible 1.1.1 → 1.1.2
raw patch · 2 files changed
+6/−6 lines, 2 files
Files
- impossible.cabal +2/−2
- src/Data/Impossible.hs +4/−4
impossible.cabal view
@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 64672f76f3aca51f06b95f51917243b73f4f48aecb9c40e4c1bd19cd5818481a+-- hash: 7744e7d0e0c3cf1a612d083a377f95caa6780244094408c424d80a3998bad540 name: impossible-version: 1.1.1+version: 1.1.2 synopsis: Set of data and type definitions of impossible types. Impossible types are useful when declaring type classes / type families instances that should not be expanded by GHC until a specific type is provided in order to keep the types nice and readable. category: Data stability: experimental
src/Data/Impossible.hs view
@@ -15,11 +15,11 @@ -- === Utils === -- -impossible :: HasCallStack => a-impossibleTo :: HasCallStack => String -> a-impossible = withFrozenCallStack $ error "Impossible happened" ; {-# INLINE impossible #-}+imp, impossible :: HasCallStack => a+impossibleTo :: HasCallStack => String -> a+impossible = withFrozenCallStack $ error "Impossible happened" ; {-# INLINE impossible #-} impossibleTo = withFrozenCallStack . error . ("Impossible happened: " <>) ; {-# INLINE impossibleTo #-}-+imp = impossible ; {-# INLINE imp #-} -- === Primitives === --