Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

Exact lookup

1. readReg :: Reg a -> SimIO a

   clash-prelude	Clash.Explicit.SimIO

   Read value from a mutable reference

2. 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.

3. 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.

4. 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.

5. readLn :: Read a => IO a

   clash-prelude	Clash.HaskellPrelude

   The readLn function combines getLine and readIO.

6. 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.

7. reads :: Read a => ReadS a

   clash-prelude	Clash.HaskellPrelude

   equivalent to readsPrec with a precedence of 0.

8. readsPrec :: Read a => Int -> ReadS a

   clash-prelude	Clash.HaskellPrelude

   attempts to parse a value from the front of the string, returning a list of (parsed value, remaining string) pairs. If there is no successful parse, the returned list is empty. Derived instances of Read and Show satisfy the following:

   • (x,"") is an element of (readsPrec d (showsPrec d x "")).
   That is, readsPrec parses the string produced by showsPrec, and delivers the value that showsPrec started with.

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

   clash-prelude	Clash.Prelude

   Read the value from an inout port

10. readNew :: forall (dom :: Domain) a addr . (HiddenClockResetEnable dom, NFDataX a, Eq addr) => (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.Prelude

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

    >>> :t readNew (blockRam (0 :> 1 :> Nil))
    readNew (blockRam (0 :> 1 :> Nil))
    :: ...
    ...
    ... =>
    Signal dom addr -> Signal dom (Maybe (addr, a)) -> Signal dom a
    

    # 867 "srcClashPrelude/BlockRam.hs"

Page 247 of many | Previous | Next