Hoogle Search
Within LTS Haskell 24.58 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
streaming Streaming.Internal Repeat a
-
diagrams-core Diagrams.Core adjustDia allows the backend to make adjustments to the final diagram (e.g. to adjust the size based on the options) before rendering it. It returns a modified options record, the transformation applied to the diagram (which can be used to convert attributes whose value is Measure, or transform e.g. screen coordinates back into local diagram coordinates), and the adjusted diagram itself. See the diagrams-lib package (particularly the Diagrams.TwoD.Adjust module) for some useful implementations.
-
diagrams-core Diagrams.Core.Types adjustDia allows the backend to make adjustments to the final diagram (e.g. to adjust the size based on the options) before rendering it. It returns a modified options record, the transformation applied to the diagram (which can be used to convert attributes whose value is Measure, or transform e.g. screen coordinates back into local diagram coordinates), and the adjusted diagram itself. See the diagrams-lib package (particularly the Diagrams.TwoD.Adjust module) for some useful implementations.
type family
FromJust (a1 :: Maybe a) :: asingletons-base Data.Maybe.Singletons No documentation available.
data
FromJustSym0 (a1 :: TyFun Maybe a a)singletons-base Data.Maybe.Singletons No documentation available.
type family
FromJustSym1 (a6989586621679588164 :: Maybe a) :: asingletons-base Data.Maybe.Singletons No documentation available.
type family
IsJust (a1 :: Maybe a) :: Boolsingletons-base Data.Maybe.Singletons No documentation available.
data
IsJustSym0 (a1 :: TyFun Maybe a Bool)singletons-base Data.Maybe.Singletons No documentation available.
type family
IsJustSym1 (a6989586621679588171 :: Maybe a) :: Boolsingletons-base Data.Maybe.Singletons No documentation available.
SJust :: forall a (n :: a) . Sing n -> SMaybe ('Just n)singletons-base Data.Maybe.Singletons No documentation available.