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. dfromList :: forall a (dom :: Domain) . NFDataX a => [a] -> DSignal dom 0 a

    clash-prelude Clash.Signal.Delayed

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

    >>> sampleN 2 (toSignal (dfromList [1,2,3,4,5]))
[1,2]
    NB: This function is not synthesizable

  2. dfromList_lazy :: forall a (dom :: Domain) . [a] -> DSignal dom 0 a

    clash-prelude Clash.Signal.Delayed

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

    >>> sampleN 2 (toSignal (dfromList [1,2,3,4,5]))
[1,2]
    NB: This function is not synthesizable

  3. dfromList :: forall a (dom :: Domain) . NFDataX a => [a] -> DSignal dom 0 a

    clash-prelude Clash.Signal.Delayed.Internal

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

    >>> sampleN 2 (toSignal (dfromList [1,2,3,4,5]))
[1,2]
    NB: This function is not synthesizable

  4. dfromList_lazy :: forall a (dom :: Domain) . [a] -> DSignal dom 0 a

    clash-prelude Clash.Signal.Delayed.Internal

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

    >>> sampleN 2 (toSignal (dfromList [1,2,3,4,5]))
[1,2]
    NB: This function is not synthesizable

  5. unsafeFromList :: forall (n :: Nat) a . KnownNat n => [a] -> Vec n a

    clash-prelude Clash.Sized.Vector

    Convert a list to a vector. This function always returns a vector of the desired length, by either truncating the list or padding the vector with undefined elements. 

    >>> Vec.unsafeFromList [1,2,3,4,5] :: Vec 5 Int
1 :> 2 :> 3 :> 4 :> 5 :> Nil

    >>> Vec.unsafeFromList [1,2,3,4,5] :: Vec 3 Int
1 :> 2 :> 3 :> Nil

    >>> Vec.unsafeFromList [1,2,3,4,5] :: Vec 10 Int
1 :> 2 :> 3 :> 4 :> 5 :> *** Exception: Clash.Sized.Vector.unsafeFromList: vector larger than list
...
    • NB: Use listToVecTH if you want to make a statically known vector
    • NB: This function is not synthesizable

  6. exchFromListLower :: (RealFrac a, Container Vector a) => Int -> [a] -> Matrix a

    elynx-markov ELynx.MarkovProcess.RateMatrix

    Build exchangeability matrix from list denoting lower triangular matrix, and excluding diagonal. This is how the exchangeabilities are specified in PAML.

  7. exchFromListUpper :: (RealFrac a, Container Vector a) => Int -> [a] -> Matrix a

    elynx-markov ELynx.MarkovProcess.RateMatrix

    Build exchangeability matrix from list denoting upper triangular matrix, and excluding diagonal.

  8. targetTableNewFromList :: (HasCallStack, MonadIO m) => TargetList -> m [TargetEntry]

    gi-gtk3 GI.Gtk.Functions

    This function creates an TargetEntry array that contains the same targets as the passed list. The returned table is newly allocated and should be freed using targetTableFree when no longer needed. Since: 2.10

  9. mFromList :: (Eq k, Hashable k) => [(k, v)] -> HashMap k v

    liquid-fixpoint Language.Fixpoint.Misc

    No documentation available.

  10. safeFromList :: (?callStack :: CallStack, Eq k, Hashable k, Show k) => String -> [(k, v)] -> HashMap k v

    liquid-fixpoint Language.Fixpoint.Misc

    No documentation available.

Page 71 of many | Previous | Next