Hoogle Search

Within LTS Haskell 24.62 (ghc-9.10.3)

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

Exact lookup

1. fromListPrefix :: forall (n :: Nat) a . SNatI n => [a] -> Maybe (Vec n a)

   vec	Data.Vec.Pull

   Convert list [a] to Vec n a. Returns Nothing if input list is too short.

   >>> L.fromPull <$> fromListPrefix "foo" :: Maybe (L.Vec N.Nat3 Char)
   Just ('f' ::: 'o' ::: 'o' ::: VNil)
   

   >>> L.fromPull <$> fromListPrefix "quux" :: Maybe (L.Vec N.Nat3 Char)
   Just ('q' ::: 'u' ::: 'u' ::: VNil)
   

   >>> L.fromPull <$> fromListPrefix "xy" :: Maybe (L.Vec N.Nat3 Char)
   Nothing
   

2. reifyList :: [a] -> (forall (n :: Nat) . SNatI n => Vec n a -> r) -> r

   vec	Data.Vec.Pull

   Reify any list [a] to Vec n a.

   >>> reifyList "foo" length
   3
   

3. toList :: forall (n :: Nat) a . SNatI n => Vec n a -> [a]

   vec	Data.Vec.Pull

   Convert Vec to list.

4. data HList (a :: [Type])

   web3-solidity	Data.Solidity.Event.Internal

   No documentation available.

5. class HListMerge (as :: [Type]) (bs :: [Type])

   web3-solidity	Data.Solidity.Event.Internal

   No documentation available.

6. class HListMergeSort (as :: [Type]) (bs :: [Type])

   web3-solidity	Data.Solidity.Event.Internal

   No documentation available.

7. class HListRep a (xs :: [Type]) | a -> xs, a -> xs

   web3-solidity	Data.Solidity.Event.Internal

   Generic representation to HList representation

8. fromHList :: HListRep a xs => HList xs -> a

   web3-solidity	Data.Solidity.Event.Internal

   No documentation available.

9. mergeHList :: HListMerge as bs => HList as -> HList bs -> HList (Concat as bs)

   web3-solidity	Data.Solidity.Event.Internal

   No documentation available.

10. mergeSortHList :: HListMergeSort as bs => HList as -> HList bs -> HList (MergeSort' as bs)

    web3-solidity	Data.Solidity.Event.Internal

    No documentation available.

Page 232 of many | Previous | Next