map -package:containers -package:basement -package:conduit -is:exact -package:case-insensitive -package:charset -package:invertible -package:base -package:dlist -package:hedgehog -package:os-string -package:ghc -package:base-compat -package:psqueues -package:aeson -package:amazonka-core -package:regex-tdfa -package:vector -package:imports -package:filepath -package:insert-ordered-containers -package:cql -package:integration -package:unordered-containers package:singletons-base

type family Map (a_a8upe :: (~>) a_a8u0m b_a8u0n) (a_a8upf :: NonEmpty a_a8u0m) :: NonEmpty b_a8u0n
singletons-base Data.List.NonEmpty.Singletons
type family Map (a_aKtL :: (~>) a_aKqu b_aKqv) (a_aKtM :: [a_aKqu]) :: [b_aKqv]
singletons-base Data.List.Singletons Prelude.Singletons
type family MapAndUnzipM (a_a8PZc :: (~>) a_a8PSv (m_a8PSu (b_a8PSw, c_a8PSx))) (a_a8PZd :: [a_a8PSv]) :: m_a8PSu ([b_a8PSw], [c_a8PSx])
singletons-base Control.Monad.Singletons
data MapAndUnzipMSym0
singletons-base Control.Monad.Singletons
data MapAndUnzipMSym1 (a6989586621681116257 :: (~>) a_a8PSv (m_a8PSu (b_a8PSw, c_a8PSx)))
singletons-base Control.Monad.Singletons
type family MapAndUnzipMSym2 (a6989586621681116257 :: (~>) a_a8PSv (m_a8PSu (b_a8PSw, c_a8PSx))) (a6989586621681116258 :: [a_a8PSv]) :: m_a8PSu ([b_a8PSw], [c_a8PSx])
singletons-base Control.Monad.Singletons
type family MapM (arg_a7nRw :: (~>) a_a7nRj (m_a7nRi b_a7nRk)) (arg_a7nRx :: t_a7nRc a_a7nRj) :: m_a7nRi (t_a7nRc b_a7nRk)
singletons-base Control.Monad.Singletons
data MapMSym0
singletons-base Control.Monad.Singletons
data MapMSym1 (a6989586621680769821 :: (~>) a_a7nRj (m_a7nRi b_a7nRk))
singletons-base Control.Monad.Singletons
type family MapMSym2 (a6989586621680769821 :: (~>) a_a7nRj (m_a7nRi b_a7nRk)) (a6989586621680769822 :: t_a7nRc a_a7nRj) :: m_a7nRi (t_a7nRc b_a7nRk)
singletons-base Control.Monad.Singletons
type family MapM_ (a_a5TWX :: (~>) a_a5TOb (m_a5TOa b_a5TOc)) (a_a5TWY :: t_a5TO9 a_a5TOb) :: m_a5TOa ()
singletons-base Control.Monad.Singletons Data.Foldable.Singletons
data MapM_Sym0
singletons-base Control.Monad.Singletons Data.Foldable.Singletons
data MapM_Sym1 (a6989586621680416510 :: (~>) a_a5TOb (m_a5TOa b_a5TOc))
singletons-base Control.Monad.Singletons Data.Foldable.Singletons
type family MapM_Sym2 (a6989586621680416510 :: (~>) a_a5TOb (m_a5TOa b_a5TOc)) (a6989586621680416511 :: t_a5TO9 a_a5TOb) :: m_a5TOa ()
singletons-base Control.Monad.Singletons Data.Foldable.Singletons
data MapSym0
singletons-base Data.List.NonEmpty.Singletons
data MapSym1 (a6989586621681033303 :: (~>) a_a8u0m b_a8u0n)
singletons-base Data.List.NonEmpty.Singletons
type family MapSym2 (a6989586621681033303 :: (~>) a_a8u0m b_a8u0n) (a6989586621681033304 :: NonEmpty a_a8u0m) :: NonEmpty b_a8u0n
singletons-base Data.List.NonEmpty.Singletons
type family MapAccumL (a_a7pPU :: (~>) a_a7pIp ((~>) b_a7pIq (a_a7pIp, c_a7pIr))) (a_a7pPV :: a_a7pIp) (a_a7pPW :: t_a7pIo b_a7pIq) :: (a_a7pIp, t_a7pIo c_a7pIr)
singletons-base Data.List.Singletons
data MapAccumLSym0
singletons-base Data.List.Singletons
data MapAccumLSym1 (a6989586621680777410 :: (~>) a_a7pIp ((~>) b_a7pIq (a_a7pIp, c_a7pIr)))
singletons-base Data.List.Singletons
data MapAccumLSym2 (a6989586621680777410 :: (~>) a_a7pIp ((~>) b_a7pIq (a_a7pIp, c_a7pIr))) (a6989586621680777411 :: a_a7pIp)
singletons-base Data.List.Singletons
type family MapAccumLSym3 (a6989586621680777410 :: (~>) a_a7pIp ((~>) b_a7pIq (a_a7pIp, c_a7pIr))) (a6989586621680777411 :: a_a7pIp) (a6989586621680777412 :: t_a7pIo b_a7pIq) :: (a_a7pIp, t_a7pIo c_a7pIr)
singletons-base Data.List.Singletons
type family MapAccumR (a_a7pPK :: (~>) a_a7pIl ((~>) b_a7pIm (a_a7pIl, c_a7pIn))) (a_a7pPL :: a_a7pIl) (a_a7pPM :: t_a7pIk b_a7pIm) :: (a_a7pIl, t_a7pIk c_a7pIn)
singletons-base Data.List.Singletons
data MapAccumRSym0
singletons-base Data.List.Singletons
data MapAccumRSym1 (a6989586621680777400 :: (~>) a_a7pIl ((~>) b_a7pIm (a_a7pIl, c_a7pIn)))
singletons-base Data.List.Singletons