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. graphFromList :: Ord n => [Edge n e] -> Graph n e

    Agda Agda.TypeChecking.SizedTypes.WarshallSolver

    No documentation available.

  2. profileOptionsFromList :: [ProfileOption] -> ProfileOptions

    Agda Agda.Utils.ProfileOptions

    Use only for serialization.

  3. coinMapFromList :: Ord a => [CoinMapEntry a] -> CoinMap a

    cardano-coin-selection Cardano.CoinSelection

    Constructs a CoinMap from a list of entries. See CoinMapEntry.

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

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

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

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

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

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

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

Page 74 of many | Previous | Next