Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

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

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

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

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

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

    clash-prelude Clash.Signal.Internal

    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

  6. fromList' :: IndexedListLiterals input length output => [output] -> input

    indexed-list-literals Data.IndexedListLiterals

    a partial fromList with bad error messages

  7. fromListP :: forall input (length :: Nat) output len . (KnownNat length, ILL input length output) => len length -> [output] -> Maybe input

    indexed-list-literals Data.IndexedListLiterals

    the fromList variants take a list and convert it into a tuple it's sort of the inverse of toList 

    > fromListP (len @3) [1,2,3]
Just (1,2,3)

    > fromListP (len @3) ["word","up"]
Nothing

    > fromListP (len @1) ['z']
Just (Only 'z') @

  8. fromListBindEnv :: [(BindId, (Symbol, SortedReft, a))] -> BindEnv a

    liquid-fixpoint Language.Fixpoint.Types.Environments

    No documentation available.

  9. fromListIBindEnv :: [BindId] -> IBindEnv

    liquid-fixpoint Language.Fixpoint.Types.Environments

    No documentation available.

  10. fromListSEnv :: [(Symbol, a)] -> SEnv a

    liquid-fixpoint Language.Fixpoint.Types.Environments

    No documentation available.

Page 54 of many | Previous | Next