Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
singletons-base Data.Semigroup.Singletons No documentation available.
SSum :: forall a (n :: a) . Sing n -> SSum ('Sum n)singletons-base Data.Semigroup.Singletons No documentation available.
sGetSum :: forall a (t :: Sum a) . Sing t -> Sing (Apply (GetSumSym0 :: TyFun (Sum a) a -> Type) t)singletons-base Data.Semigroup.Singletons No documentation available.
-
singletons-base Data.Singletons.Base.TH No documentation available.
-
singletons-base Prelude.Singletons No documentation available.
consumeBuffer :: Buffer % 1 -> ()text-builder-linear Data.Text.Builder.Linear.Buffer Consume buffer linearly, similar to Consumable from linear-base.
consumeBuffer :: Buffer % 1 -> ()text-builder-linear Data.Text.Builder.Linear.Core Consume buffer linearly, similar to Consumable from linear-base.
ResumeAfterInterrupt :: InternalEventvty Graphics.Vty.Input.Events Vty resumed operation after the process was interrupted (e.g. with a signal). In practice this translates into a screen redraw in the input event loop.
-
vty Graphics.Vty.Output No documentation available.
AssumedState :: Maybe FixedAttr -> Maybe DisplayOps -> AssumedStatevty Graphics.Vty.Output No documentation available.