Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

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

    bytestring-trie Data.Trie.Convenience

    This variant sorts the list before folding over it. This adds <math> overhead and requires the whole list be in memory at once, but it ensures that the list is in best-case order. The benefits generally outweigh the costs.

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

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

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

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

    bytestring-trie Data.Trie.Convenience

    A variant of fromListWithL which applies the combining function strictly.

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

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

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

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

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

Page 58 of many | Previous | Next