Hoogle Search
Within LTS Haskell 24.25 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data (a6989586621679052452 :: a)
:@#@$$ (b :: TyFun [a] [a])singletons-base Data.List.Singletons No documentation available.
type family (a6989586621679052452 :: a)
:@#@$$$ (a6989586621679052453 :: [a]) :: [a]singletons-base Data.List.Singletons No documentation available.
data (a6989586621679827481 :: [a])
\\@#@$$ (b :: TyFun [a] [a])singletons-base Data.List.Singletons No documentation available.
type family (a6989586621679827481 :: [a])
\\@#@$$$ (a6989586621679827482 :: [a]) :: [a]singletons-base Data.List.Singletons No documentation available.
data (a6989586621679244444 :: a)
<=@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.
type family (a6989586621679244444 :: a)
<=@#@$$$ (a6989586621679244445 :: a) :: Boolsingletons-base Data.Ord.Singletons No documentation available.
data (a6989586621679244439 :: a)
<@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.
type family (a6989586621679244439 :: a)
<@#@$$$ (a6989586621679244440 :: a) :: Boolsingletons-base Data.Ord.Singletons No documentation available.
data (a6989586621679244454 :: a)
>=@#@$$ (b :: TyFun a Bool)singletons-base Data.Ord.Singletons No documentation available.
type family (a6989586621679244454 :: a)
>=@#@$$$ (a6989586621679244455 :: a) :: Boolsingletons-base Data.Ord.Singletons No documentation available.