Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

Exact lookup

1. toList :: forall (n :: Nat) a . Vec n a -> [a]

   vec	Data.Vec.Lazy

   Convert Vec to list.

   >>> toList $ 'f' ::: 'o' ::: 'o' ::: VNil
   "foo"
   

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

   vec	Data.Vec.Lazy.Inline

   Convert list [a] to Vec n a. Returns Nothing if lengths don't match exactly.

   >>> fromList "foo" :: Maybe (Vec N.Nat3 Char)
   Just ('f' ::: 'o' ::: 'o' ::: VNil)
   

   >>> fromList "quux" :: Maybe (Vec N.Nat3 Char)
   Nothing
   

   >>> fromList "xy" :: Maybe (Vec N.Nat3 Char)
   Nothing
   

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

   vec	Data.Vec.Lazy.Inline

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

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

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

   >>> fromListPrefix "xy" :: Maybe (Vec N.Nat3 Char)
   Nothing
   

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

   vec	Data.Vec.Lazy.Inline

   Reify any list [a] to Vec n a.

   >>> reifyList "foo" length
   3
   

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

   vec	Data.Vec.Lazy.Inline

   Convert Vec to list.

   >>> toList $ 'f' ::: 'o' ::: 'o' ::: VNil
   "foo"
   

6. fromList :: 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 lengths don't match exactly.

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

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

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

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

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

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

   vec	Data.Vec.Pull

   Convert Vec to list.

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

    web3-solidity	Data.Solidity.Event.Internal

    No documentation available.

Page 231 of many | Previous | Next