Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. optStanzaSetFromList :: [OptionalStanza] -> OptionalStanzaSet

   cabal-install-solver	Distribution.Solver.Types.OptionalStanza

   No documentation available.

2. pkgConfigDbFromList :: [(String, String)] -> PkgConfigDb

   cabal-install-solver	Distribution.Solver.Types.PkgConfigDb

   Create a PkgConfigDb from a list of (packageName, version) pairs.

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

   clash-prelude	Clash.Explicit.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

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

   clash-prelude	Clash.Explicit.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

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

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

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

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

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

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

Page 71 of many | Previous | Next