Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

  1. fromListWith :: (a -> a -> a) -> [(ByteString, a)] -> Trie a

    bytestring-trie Data.Trie.Convenience

    A variant of fromListR that takes a function for combining values on conflict. The first argument to the combining function is the "new" value from the initial portion of the list; the second argument is the value that has been accumulated into the trie from the tail of the list (just like the first argument to foldr). Thus, fromList = fromListWith const.

  2. fromListWith' :: (a -> a -> a) -> [(ByteString, a)] -> Trie a

    bytestring-trie Data.Trie.Convenience

    A variant of fromListWith which applies the combining function strictly. This function is a good consumer for list fusion. If you need list fusion and are running into stack overflow problems with fromListWith, then this function may solve the problem.

  3. fromListWithL :: (a -> a -> a) -> [(ByteString, a)] -> Trie a

    bytestring-trie Data.Trie.Convenience

    A left-fold variant of fromListWith. Note that the arguments to the combining function are swapped: the first is the value in the trie which has been accumulated from the initial part of the list; the second argument is the "new" value from the remaining tail of the list (just like the first argument to foldl). Thus, fromListL = fromListWithL const.

  4. fromListWithL' :: (a -> a -> a) -> [(ByteString, a)] -> Trie a

    bytestring-trie Data.Trie.Convenience

    A variant of fromListWithL which applies the combining function strictly.

  5. fromListWithReset :: forall (dom :: Domain) a . (KnownDomain dom, NFDataX a) => Reset dom -> a -> [a] -> Signal dom a

    clash-prelude Clash.Explicit.Signal

    Like fromList, but resets on reset and has a defined reset value. 

    >>> let rst = unsafeFromActiveHigh (fromList [True, True, False, False, True, False])

>>> let res = fromListWithReset @System rst Nothing [Just 'a', Just 'b', Just 'c']

>>> sampleN 6 res
[Nothing,Nothing,Just 'a',Just 'b',Nothing,Just 'a']
    NB: This function is not synthesizable

  6. fromList_lazy :: forall a (dom :: Domain) . [a] -> Signal dom a

    clash-prelude Clash.Explicit.Signal

    Create a Signal from a list Every element in the list will correspond to a value of the signal for one clock cycle. 

    >>> sampleN 2 (fromList [1,2,3,4,5] :: Signal System Int)
[1,2]
    NB: This function is not synthesizable

  7. fromListWithReset :: forall (dom :: Domain) a . (HiddenReset dom, NFDataX a) => a -> [a] -> Signal dom a

    clash-prelude Clash.Prelude

    Like fromList, but resets on reset and has a defined reset value. 

    >>> let rst = unsafeFromActiveHigh (fromList [True, True, False, False, True, False])

>>> let res = withReset rst (fromListWithReset Nothing [Just 'a', Just 'b', Just 'c'])

>>> sampleN @System 6 res
[Nothing,Nothing,Just 'a',Just 'b',Nothing,Just 'a']
    NB: This function is not synthesizable

  8. fromList_lazy :: forall a (dom :: Domain) . [a] -> Signal dom a

    clash-prelude Clash.Prelude

    Create a Signal from a list Every element in the list will correspond to a value of the signal for one clock cycle. 

    >>> sampleN 2 (fromList [1,2,3,4,5] :: Signal System Int)
[1,2]
    NB: This function is not synthesizable

  9. fromListWithReset :: forall (dom :: Domain) a . (HiddenReset dom, NFDataX a) => a -> [a] -> Signal dom a

    clash-prelude Clash.Signal

    Like fromList, but resets on reset and has a defined reset value. 

    >>> let rst = unsafeFromActiveHigh (fromList [True, True, False, False, True, False])

>>> let res = withReset rst (fromListWithReset Nothing [Just 'a', Just 'b', Just 'c'])

>>> sampleN @System 6 res
[Nothing,Nothing,Just 'a',Just 'b',Nothing,Just 'a']
    NB: This function is not synthesizable

  10. fromList_lazy :: forall a (dom :: Domain) . [a] -> Signal dom a

    clash-prelude Clash.Signal

    Create a Signal from a list Every element in the list will correspond to a value of the signal for one clock cycle. 

    >>> sampleN 2 (fromList [1,2,3,4,5] :: Signal System Int)
[1,2]
    NB: This function is not synthesizable

Page 58 of many | Previous | Next