Hoogle Search
Within LTS Haskell 24.5 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
type family
MaybeToList (a1 :: Maybe a) :: [a]singletons-base Data.Maybe.Singletons No documentation available.
data
MaybeToListSym0 (a1 :: TyFun Maybe a [a])singletons-base Data.Maybe.Singletons No documentation available.
type family
MaybeToListSym1 (a6989586621679587947 :: Maybe a) :: [a]singletons-base Data.Maybe.Singletons No documentation available.
type family
Maybe_ (a1 :: b) (a2 :: a ~> b) (a3 :: Maybe a) :: bsingletons-base Data.Maybe.Singletons No documentation available.
data
Maybe_Sym0 (a1 :: TyFun b a ~> b ~> Maybe a ~> b)singletons-base Data.Maybe.Singletons No documentation available.
data
Maybe_Sym1 (a6989586621679585733 :: b) (b1 :: TyFun a ~> b Maybe a ~> b)singletons-base Data.Maybe.Singletons No documentation available.
data
Maybe_Sym2 (a6989586621679585733 :: b) (a6989586621679585734 :: a ~> b) (c :: TyFun Maybe a b)singletons-base Data.Maybe.Singletons No documentation available.
-
singletons-base Data.Maybe.Singletons No documentation available.
type family
Maybe_ (a1 :: b) (a2 :: a ~> b) (a3 :: Maybe a) :: bsingletons-base Prelude.Singletons No documentation available.
data
Maybe_Sym0 (a1 :: TyFun b a ~> b ~> Maybe a ~> b)singletons-base Prelude.Singletons No documentation available.