Safe Haskell | Trustworthy |
---|
- module Type.Eq
- (|.|) :: (b :~: c) -> (a :~: b) -> a :~: c
- applyEq :: (f :~: g) -> (a :~: b) -> f a :~: g b
- (|$|) :: (f :~: g) -> (a :~: b) -> f a :~: g b
- constructorEq :: (f a :~: g b) -> f :~: g
- dynamicEq1 :: (Typeable1 f, Typeable1 g) => Maybe (f :~: g)
- dynamicEq2 :: (Typeable2 n, Typeable2 m) => Maybe (n :~: m)
- dynamicEq3 :: (Typeable3 x, Typeable3 y) => Maybe (x :~: y)
- dynamicEq4 :: (Typeable4 x, Typeable4 y) => Maybe (x :~: y)
- dynamicEq5 :: (Typeable5 x, Typeable5 y) => Maybe (x :~: y)
- dynamicEq6 :: (Typeable6 x, Typeable6 y) => Maybe (x :~: y)
- dynamicEq7 :: (Typeable7 x, Typeable7 y) => Maybe (x :~: y)
- sameOuterEq :: OuterEq f a -> OuterEq g a -> f :~: g
- fromEq1 :: (f ::~:: g) -> f :~: g
- toEq1 :: (f :~: g) -> f ::~:: g
- fromEq2 :: (n :::~::: m) -> n :~: m
- toEq2 :: (n :~: m) -> n :::~::: m
- fromOuterEq1 :: OuterEq1 m f -> OuterEq m f
- toOuterEq1 :: OuterEq m f -> OuterEq1 m f
- fromInnerEq1 :: InnerEq1 a f -> InnerEq a f
- toInnerEq1 :: InnerEq a f -> InnerEq1 a f
Documentation
module Type.Eq
constructorEq :: (f a :~: g b) -> f :~: gSource
Type constructors are generative
dynamicEq1 :: (Typeable1 f, Typeable1 g) => Maybe (f :~: g)Source
Runtime type equality evidence from Typeable1
dynamicEq2 :: (Typeable2 n, Typeable2 m) => Maybe (n :~: m)Source
Runtime type equality evidence from Typeable2
dynamicEq3 :: (Typeable3 x, Typeable3 y) => Maybe (x :~: y)Source
Runtime type equality evidence from Typeable3
dynamicEq4 :: (Typeable4 x, Typeable4 y) => Maybe (x :~: y)Source
Runtime type equality evidence from Typeable4
dynamicEq5 :: (Typeable5 x, Typeable5 y) => Maybe (x :~: y)Source
Runtime type equality evidence from Typeable5
dynamicEq6 :: (Typeable6 x, Typeable6 y) => Maybe (x :~: y)Source
Runtime type equality evidence from Typeable6
dynamicEq7 :: (Typeable7 x, Typeable7 y) => Maybe (x :~: y)Source
Runtime type equality evidence from Typeable7
sameOuterEq :: OuterEq f a -> OuterEq g a -> f :~: gSource
Compatibility with Type.Eq.Higher
fromOuterEq1 :: OuterEq1 m f -> OuterEq m fSource
toOuterEq1 :: OuterEq m f -> OuterEq1 m fSource
fromInnerEq1 :: InnerEq1 a f -> InnerEq a fSource
toInnerEq1 :: InnerEq a f -> InnerEq1 a fSource