Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
type family (a6989586621679052212 :: a)
:@#@$$$ (a6989586621679052213 :: [a]) :: [a]singletons-base Data.List.Singletons No documentation available.
data (a6989586621679827278 :: [a])
\\@#@$$ (b :: TyFun [a] [a])singletons-base Data.List.Singletons No documentation available.
type family (a6989586621679827278 :: [a])
\\@#@$$$ (a6989586621679827279 :: [a]) :: [a]singletons-base Data.List.Singletons No documentation available.
data (a6989586621679244241 :: a)
<=@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.
type family (a6989586621679244241 :: a)
<=@#@$$$ (a6989586621679244242 :: a) :: Boolsingletons-base Data.Ord.Singletons No documentation available.
data (a6989586621679244236 :: a)
<@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.
type family (a6989586621679244236 :: a)
<@#@$$$ (a6989586621679244237 :: a) :: Boolsingletons-base Data.Ord.Singletons No documentation available.
data (a6989586621679244251 :: a)
>=@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.
type family (a6989586621679244251 :: a)
>=@#@$$$ (a6989586621679244252 :: a) :: Boolsingletons-base Data.Ord.Singletons No documentation available.
data (a6989586621679244246 :: a)
>@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.