Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. readNew :: forall (dom :: Domain) a addr . (KnownDomain dom, NFDataX a, Eq addr) => Clock dom -> Reset dom -> Enable dom -> (Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a) -> Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a

   clash-prelude	Clash.Explicit.Prelude

   Create a read-after-write block RAM from a read-before-write one

2. readNew :: forall (dom :: Domain) a addr . (KnownDomain dom, NFDataX a, Eq addr) => Clock dom -> Reset dom -> Enable dom -> (Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a) -> Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a

   clash-prelude	Clash.Explicit.Prelude.Safe

   Create a read-after-write block RAM from a read-before-write one

3. readFromBiSignal :: forall a (ds :: BiSignalDefault) (d :: Domain) . (HasCallStack, BitPack a) => BiSignalIn ds d (BitSize a) -> Signal d a

   clash-prelude	Clash.Explicit.Signal

   Read the value from an inout port

4. readReg :: Reg a -> SimIO a

   clash-prelude	Clash.Explicit.SimIO

   Read value from a mutable reference

5. readFile :: FilePath -> IO String

   clash-prelude	Clash.HaskellPrelude

   The readFile function reads a file and returns the contents of the file as a string. The file is read lazily, on demand, as with getContents.

6. readIO :: Read a => String -> IO a

   clash-prelude	Clash.HaskellPrelude

   The readIO function is similar to read except that it signals parse failure to the IO monad instead of terminating the program.

7. readList :: Read a => ReadS [a]

   clash-prelude	Clash.HaskellPrelude

   The method readList is provided to allow the programmer to give a specialised way of parsing lists of values. For example, this is used by the predefined Read instance of the Char type, where values of type String are expected to use double quotes, rather than square brackets.

8. readLn :: Read a => IO a

   clash-prelude	Clash.HaskellPrelude

   The readLn function combines getLine and readIO.

9. readParen :: Bool -> ReadS a -> ReadS a

   clash-prelude	Clash.HaskellPrelude

   readParen True p parses what p parses, but surrounded with parentheses. readParen False p parses what p parses, but optionally surrounded with parentheses.

10. reads :: Read a => ReadS a

    clash-prelude	Clash.HaskellPrelude

    equivalent to readsPrec with a precedence of 0.

Page 247 of many | Previous | Next