Hoogle Search
Within LTS Haskell 24.36 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
CatMaybesSym0 (a1 :: TyFun [Maybe a] [a])singletons-base Data.Maybe.Singletons No documentation available.
type family
CatMaybesSym1 (a6989586621679588139 :: [Maybe a]) :: [a]singletons-base Data.Maybe.Singletons No documentation available.
type family
FromMaybe (a1 :: a) (a2 :: Maybe a) :: asingletons-base Data.Maybe.Singletons No documentation available.
data
FromMaybeSym0 (a1 :: TyFun a Maybe a ~> a)singletons-base Data.Maybe.Singletons No documentation available.
data
FromMaybeSym1 (a6989586621679588154 :: a) (b :: TyFun Maybe a a)singletons-base Data.Maybe.Singletons No documentation available.
type family
FromMaybeSym2 (a6989586621679588154 :: a) (a6989586621679588155 :: Maybe a) :: asingletons-base Data.Maybe.Singletons No documentation available.
type family
ListToMaybe (a1 :: [a]) :: Maybe asingletons-base Data.Maybe.Singletons No documentation available.
data
ListToMaybeSym0 (a1 :: TyFun [a] Maybe a)singletons-base Data.Maybe.Singletons No documentation available.
type family
ListToMaybeSym1 (a6989586621679588145 :: [a]) :: Maybe asingletons-base Data.Maybe.Singletons No documentation available.
type family
MapMaybe (a1 :: a ~> Maybe b) (a2 :: [a]) :: [b]singletons-base Data.Maybe.Singletons No documentation available.