• [^] # Et les maths ?

    Posté par . En réponse au journal Une CSS « froide » pour l'hiver : Steelblue. Évalué à 4.

    Un autre point dont je viens de m'apercevoir

    Ce qui est au dessus est une citation du post précédent

    Je testerai bien ce que ça donne avec \frac{1}{x} des maths en ligne.

    Et pourquoi pas avec

    une formule de maths un peu costaud, hors ligne ?

    et même encore des maths

    -- @
    --
    -- @since 4.8.0.0
    class Bifunctor p where
     {-# MINIMAL bimap | first, second #-}
     -- | Map over both arguments at the same time.
     --
     -- @'bimap' f g ≡ 'first' f '.' 'second' g@
     bimap :: (a -> b) -> (c -> d) -> p a c -> p b d
     bimap f g = first f . second g
     -- | Map covariantly over the first argument.
     --
     -- @'first' f ≡ 'bimap' f 'id'@
     first :: (a -> b) -> p a c -> p b c
     first f = bimap f id
     -- | Map covariantly over the second argument.
     --
     -- @'second' ≡ 'bimap' 'id'@
     second :: (b -> c) -> p a b -> p a c
     second = bimap id
    -- | @since 4.8.0.0
    instance Bifunctor (,) where
     bimap f g ~(a, b) = (f a, g b)
    -- | @since 4.8.0.0
    instance Bifunctor ((,,) x1) where
     bimap f g ~(x1, a, b) = (x1, f a, g b)
    -- | @since 4.8.0.0
    instance Bifunctor ((,,,) x1 x2) where
     bimap f g ~(x1, x2, a, b) = (x1, x2, f a, g b)
    -- | @since 4.8.0.0
    instance Bifunctor ((,,,,) x1 x2 x3) where
     bimap f g ~(x1, x2, x3, a, b) = (x1, x2, x3, f a, g b)
    -- | @since 4.8.0.0
    instance Bifunctor ((,,,,,) x1 x2 x3 x4) where
     bimap f g ~(x1, x2, x3, x4, a, b) = (x1, x2, x3, x4, f a, g b)
    -- | @since 4.8.0.0
    instance Bifunctor ((,,,,,,) x1 x2 x3 x4 x5) where
     bimap f g ~(x1, x2, x3, x4, x5, a, b) = (x1, x2, x3, x4, x5, f a, g b)
    -- | @since 4.8.0.0
    instance Bifunctor Either where
     bimap f _ (Left a) = Left (f a)
     bimap _ g (Right b) = Right (g b)
    -- | @since 4.8.0.0
    instance Bifunctor Const where
     bimap f _ (Const a) = Const (f a)
    -- | @since 4.9.0.0
    instance Bifunctor (K1 i) where
     bimap f _ (K1 c) = K1 (f c)