Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. transform :: Transformable t => Transformation (V t) (N t) -> t -> t

   diagrams-lib	Diagrams.Transform

   Apply a transformation to an object.

2. transformed :: forall (v :: Type -> Type) n a b . (InSpace v n a, SameSpace a b, Transformable a, Transformable b) => Transformation v n -> Iso a b a b

   diagrams-lib	Diagrams.Transform

   Use a Transformation to make an Iso between an object transformed and untransformed. This is useful for carrying out functions under another transform:

   under (transformed t) f               == transform (inv t) . f . transform t
   under (transformed t1) (transform t2) == transform (conjugate t1 t2)
   transformed t ## a                    == transform t a
   a ^. transformed t                    == transform (inv t) a
   

3. module Diagrams.TwoD.Deform

   No documentation available.

4. module Diagrams.TwoD.Transform

   Transformations specific to two dimensions, with a few generic transformations (uniform scaling, translation) also re-exported for convenience.

5. coercionToPlatformTypes :: Either (Coercion OsChar WindowsChar, Coercion OsString WindowsString) (Coercion OsChar PosixChar, Coercion OsString PosixString)

   os-string	System.OsString

   This is a type-level evidence that OsChar is a newtype wrapper over WindowsChar or PosixChar and OsString is a newtype wrapper over WindowsString or PosixString. If you pattern match on coercionToPlatformTypes, GHC will know that relevant types are coercible to each other. This helps to avoid CPP in certain scenarios.

6. type PlatformChar = PosixChar

   os-string	System.OsString.Internal.Types

   No documentation available.

7. type PlatformString = PosixString

   os-string	System.OsString.Internal.Types

   No documentation available.

8. coercionToPlatformTypes :: Either (Coercion OsChar WindowsChar, Coercion OsString WindowsString) (Coercion OsChar PosixChar, Coercion OsString PosixString)

   os-string	System.OsString.Internal.Types

   This is a type-level evidence that OsChar is a newtype wrapper over WindowsChar or PosixChar and OsString is a newtype wrapper over WindowsString or PosixString. If you pattern match on coercionToPlatformTypes, GHC will know that relevant types are coercible to each other. This helps to avoid CPP in certain scenarios.

9. natTransformRetryPolicy :: (forall a . () => m a -> n a) -> RetryPolicyM m -> RetryPolicyM n

   retry	Control.Retry

   Applies a natural transformation to a policy to run a RetryPolicy meant for the monad m in the monad n provided a transformation from m to n is available. A common case is if you have a pure policy, RetryPolicyM Identity and want to use it to govern an IO computation you could write:

   purePolicyInIO :: RetryPolicyM Identity -> RetryPolicyM IO
   purePolicyInIO = natTransformRetryPolicy (pure . runIdentity)
   

10. natTransformRetryPolicy :: (forall a . () => m a -> n a) -> RetryPolicyM m -> RetryPolicyM n

    retry	UnliftIO.Retry

    Applies a natural transformation to a policy to run a RetryPolicy meant for the monad m in the monad n provided a transformation from m to n is available. A common case is if you have a pure policy, RetryPolicyM Identity and want to use it to govern an IO computation you could write:

    purePolicyInIO :: RetryPolicyM Identity -> RetryPolicyM IO
    purePolicyInIO = natTransformRetryPolicy (pure . runIdentity)
    

Page 555 of many | Previous | Next