Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Data.Type.Coercion.Compat
Documentation
gcoerceWith :: forall {k} (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #
data Coercion (a :: k) (b :: k) where #
Instances
TestCoercion (Coercion a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
Coercible a b => Bounded (Coercion a b) | |
Coercible a b => Enum (Coercion a b) | |
Defined in GHC.Internal.Data.Type.Coercion Methods succ :: Coercion a b -> Coercion a b # pred :: Coercion a b -> Coercion a b # toEnum :: Int -> Coercion a b # fromEnum :: Coercion a b -> Int # enumFrom :: Coercion a b -> [Coercion a b] # enumFromThen :: Coercion a b -> Coercion a b -> [Coercion a b] # enumFromTo :: Coercion a b -> Coercion a b -> [Coercion a b] # enumFromThenTo :: Coercion a b -> Coercion a b -> Coercion a b -> [Coercion a b] # | |
Coercible a b => Read (Coercion a b) | |
Show (Coercion a b) | |
Eq (Coercion a b) | |
Ord (Coercion a b) | |
Defined in GHC.Internal.Data.Type.Coercion |
coerceWith :: Coercion a b -> a -> b #
class TestCoercion (f :: k -> Type) where #
Methods
testCoercion :: forall (a :: k) (b :: k). f a -> f b -> Maybe (Coercion a b) #
Instances
TestCoercion (Coercion a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
TestCoercion ((:~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
TestCoercion ((:~~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion |
gcoerceWith :: forall {k} (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #