Safe Haskell	None
Language	Haskell2010

Cardano.Address.Crypto.ListN

Description

Vendored minimal sized-list from basement (BSD-3-Clause). Only the subset used by BIP39 encoding.

Synopsis

data ListN (n :: Nat) a
unListN :: ListN n a -> [a]
toListN :: forall (n :: Nat) a. KnownNat n => [a] -> Maybe (ListN n a)
toListN_ :: forall (n :: Nat) a. (HasCallStack, KnownNat n) => [a] -> ListN n a
map :: forall a b (n :: Nat). (a -> b) -> ListN n a -> ListN n b
mapM :: forall m a b (n :: Nat). Monad m => (a -> m b) -> ListN n a -> m (ListN n b)
foldl' :: forall b a (n :: Nat). (b -> a -> b) -> b -> ListN n a -> b

Documentation

data ListN (n :: Nat) a #

A list with a phantom type-level length.

Instances details

NFData a => NFData (ListN n a) #
Instance details Defined in Cardano.Address.Crypto.ListN Methods rnf :: ListN n a -> () #
Show a => Show (ListN n a) #
Instance details Defined in Cardano.Address.Crypto.ListN Methods showsPrec :: Int -> ListN n a -> ShowS # show :: ListN n a -> String # showList :: [ListN n a] -> ShowS #
Eq a => Eq (ListN n a) #
Instance details Defined in Cardano.Address.Crypto.ListN Methods (==) :: ListN n a -> ListN n a -> Bool # (/=) :: ListN n a -> ListN n a -> Bool #

unListN :: ListN n a -> [a] #

toListN :: forall (n :: Nat) a. KnownNat n => [a] -> Maybe (ListN n a) #

Construct a ListN from a list, checking length at runtime.

toListN_ :: forall (n :: Nat) a. (HasCallStack, KnownNat n) => [a] -> ListN n a #

Construct a ListN from a list, erroring if length mismatches.

map :: forall a b (n :: Nat). (a -> b) -> ListN n a -> ListN n b #

Map a function over a sized list.

mapM :: forall m a b (n :: Nat). Monad m => (a -> m b) -> ListN n a -> m (ListN n b) #

Monadic map over a sized list.

foldl' :: forall b a (n :: Nat). (b -> a -> b) -> b -> ListN n a -> b #

Strict left fold over a sized list.