lude

Haskell prelude alternative
git clone git://git.rr3.xyz/lude | git clone gits://git.rr3.xyz/lude
Log | Files | Refs | README | LICENSE

Equality.hs (257B)

      1 module Lude.Haskell.Equality (
      2     (:~:) (..),
      3     (:~~:) (..),
      4     type (~),
      5     type (~~),
      6 ) where
      7 
      8 import Data.Type.Equality ((:~:) (..), (:~~:) (..), type (~), type (~~))
      9 
     10 --------------------------------------------------------------------------------