Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Type.Coercion.Compat
Documentation
coerceWith :: Coercion a b -> a -> b #
gcoerceWith :: forall {k} (a :: k) (b :: k) r. Coercion a b -> (Coercible a b => r) -> r #
data Coercion (a :: k) (b :: k) where #
Instances
Category (Coercion :: k -> k -> Type) | |
TestCoercion (Coercion a :: k -> Type) | |
Defined in Data.Type.Coercion | |
(Coercible a b, Data a, Data b) => Data (Coercion a b) | |
Defined in Data.Data Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Coercion a b -> c (Coercion a b) gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Coercion a b) toConstr :: Coercion a b -> Constr dataTypeOf :: Coercion a b -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Coercion a b)) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Coercion a b)) gmapT :: (forall b0. Data b0 => b0 -> b0) -> Coercion a b -> Coercion a b gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Coercion a b -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Coercion a b -> r gmapQ :: (forall d. Data d => d -> u) -> Coercion a b -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Coercion a b -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Coercion a b -> m (Coercion a b) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Coercion a b -> m (Coercion a b) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Coercion a b -> m (Coercion a b) | |
Coercible a b => Bounded (Coercion a b) | |
Coercible a b => Enum (Coercion a b) | |
Defined in 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 Data.Type.Coercion |
class TestCoercion (f :: k -> Type) where #
Methods
testCoercion :: forall (a :: k) (b :: k). f a -> f b -> Maybe (Coercion a b) #
Instances
TestCoercion SNat | |
Defined in GHC.TypeNats Methods testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b) # | |
TestCoercion SChar | |
Defined in GHC.TypeLits | |
TestCoercion SSymbol | |
Defined in GHC.TypeLits Methods testCoercion :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> Maybe (Coercion a b) # | |
TestCoercion (Coercion a :: k -> Type) | |
Defined in Data.Type.Coercion | |
TestCoercion ((:~:) a :: k -> Type) | |
Defined in Data.Type.Coercion | |
TestCoercion ((:~~:) a :: k -> Type) | |
Defined in Data.Type.Coercion |