Hoogle Search
Within LTS Haskell 24.12 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
singletons-base Data.List.Singletons No documentation available.
-
singletons-base Data.List.Singletons No documentation available.
data
MapSym0 (a1 :: TyFun a ~> b [a] ~> [b])singletons-base Data.List.Singletons No documentation available.
data
MapSym1 (a6989586621679187089 :: a ~> b) (b1 :: TyFun [a] [b])singletons-base Data.List.Singletons No documentation available.
type family
MapSym2 (a6989586621679187089 :: a ~> b) (a6989586621679187090 :: [a]) :: [b]singletons-base Data.List.Singletons No documentation available.
type family
MapMaybe (a1 :: a ~> Maybe b) (a2 :: [a]) :: [b]singletons-base Data.Maybe.Singletons No documentation available.
data
MapMaybeSym0 (a1 :: TyFun a ~> Maybe b [a] ~> [b])singletons-base Data.Maybe.Singletons No documentation available.
data
MapMaybeSym1 (a6989586621679588125 :: a ~> Maybe b) (b1 :: TyFun [a] [b])singletons-base Data.Maybe.Singletons No documentation available.
type family
MapMaybeSym2 (a6989586621679588125 :: a ~> Maybe b) (a6989586621679588126 :: [a]) :: [b]singletons-base Data.Maybe.Singletons No documentation available.
data
MappendSym0 (a1 :: TyFun a a ~> a)singletons-base Data.Monoid.Singletons No documentation available.