Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
Cabal-syntax Distribution.Compat.Prelude No documentation available.
-
leancheck Test.LeanCheck.Error Transforms errors into a default value.
> fromError 0 (15 :: Int) 15
> fromError 0 (undefined :: Int) 0
-
leancheck Test.LeanCheck.Utils.TypeBinding Type restricted version of const that forces its first argument to have the same type as the second. A symnonym to asTypeOf:
value -: ty = value :: Ty
Examples:10 -: int = 10 :: Int undefined -: 'a' >- 'b' = undefined :: Char -> Char
-
relude Relude.Base asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
-
protolude Protolude asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
-
protolude Protolude.Base asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
-
ghc-internal GHC.Internal.Base asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.
-
ghc-internal GHC.Internal.IO.SubSystem Conditionally execute an action depending on the configured I/O subsystem. On POSIX systems always execute the first action. On Windows execute the second action if WINIO as active, otherwise fall back to the first action.
-
ghc-internal GHC.Internal.IO.SubSystem Infix version of conditional. posix ! windows == conditional posix windows
-
numeric-prelude NumericPrelude asTypeOf is a type-restricted version of const. It is usually used as an infix operator, and its typing forces its first argument (which is usually overloaded) to have the same type as the second.