| Copyright | Alexey Khudyakov |
|---|---|
| License | BSD3-style (see LICENSE) |
| Maintainer | Alexey Khudyakov <alexey.skladnoy@gmail.com> |
| Stability | unstable |
| Portability | unportable (GHC only) |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
TypeLevel.Reify
Description
Documentation
Value with type tag
Instances
| Eq a => Eq (Witness t a) Source # | |
| (Data t, Data a) => Data (Witness t a) Source # | |
Defined in TypeLevel.Reify Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Witness t a -> c (Witness t a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Witness t a) # toConstr :: Witness t a -> Constr # dataTypeOf :: Witness t a -> DataType # dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Witness t a)) # dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Witness t a)) # gmapT :: (forall b. Data b => b -> b) -> Witness t a -> Witness t a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Witness t a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Witness t a -> r # gmapQ :: (forall d. Data d => d -> u) -> Witness t a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Witness t a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Witness t a -> m (Witness t a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Witness t a -> m (Witness t a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Witness t a -> m (Witness t a) # | |
| Show a => Show (Witness t a) Source # | |
class Reify t a where Source #
Convert type level into value level using