Safe Haskell	None
Language	Haskell2010

Data.Constraint.Deriving.DeriveAll

Synopsis

data DeriveAll
- = DeriveAll
- | DeriveAllBut {
  - _ignoreList :: [String]
  }
- | DeriveAll' {
  - _forcedMode :: OverlapMode
  - _ignoreList :: [String]
  }
type family DeriveContext (t :: Type) :: Constraint
deriveAllPass :: CorePluginEnvRef -> CoreToDo
type CorePluginEnvRef = IORef CorePluginEnv
initCorePluginEnv :: CoreM (IORef CorePluginEnv)

Documentation

data DeriveAll Source #

A marker to tell the core plugin to derive all visible class instances for a given newtype.

The deriving logic is to simply re-use existing instance dictionaries by type-casting.

Constructors

DeriveAll	Same as `DeriveAllBut []`.
DeriveAllBut	Specify a list of class names to ignore
Fields _ignoreList :: [String]
DeriveAll'	Specify an overlap mode and a list of class names to ignore
Fields _forcedMode :: OverlapMode _ignoreList :: [String]

Instances

Instances details

Eq DeriveAll Source #
Instance details Defined in Data.Constraint.Deriving.DeriveAll Methods (==) :: DeriveAll -> DeriveAll -> Bool # (/=) :: DeriveAll -> DeriveAll -> Bool #
Data DeriveAll Source #
Instance details Defined in Data.Constraint.Deriving.DeriveAll Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DeriveAll -> c DeriveAll # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DeriveAll # toConstr :: DeriveAll -> Constr # dataTypeOf :: DeriveAll -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DeriveAll) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DeriveAll) # gmapT :: (forall b. Data b => b -> b) -> DeriveAll -> DeriveAll # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DeriveAll -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DeriveAll -> r # gmapQ :: (forall d. Data d => d -> u) -> DeriveAll -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DeriveAll -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DeriveAll -> m DeriveAll # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DeriveAll -> m DeriveAll # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DeriveAll -> m DeriveAll #
Read DeriveAll Source #
Instance details Defined in Data.Constraint.Deriving.DeriveAll Methods readsPrec :: Int -> ReadS DeriveAll # readList :: ReadS [DeriveAll] # readPrec :: ReadPrec DeriveAll # readListPrec :: ReadPrec [DeriveAll] #
Show DeriveAll Source #
Instance details Defined in Data.Constraint.Deriving.DeriveAll Methods showsPrec :: Int -> DeriveAll -> ShowS # show :: DeriveAll -> String # showList :: [DeriveAll] -> ShowS #

type family DeriveContext (t :: Type) :: Constraint Source #

This type family is used to impose constraints on type parameters when looking up type instances for the DeriveAll core plugin.

DeriveAll uses only those instances that satisfy the specified constraint. If the constraint is not specified, it is assumed to be ().

deriveAllPass :: CorePluginEnvRef -> CoreToDo Source #

Run DeriveAll plugin pass

type CorePluginEnvRef = IORef CorePluginEnv Source #

Reference to the plugin environment variables.

initCorePluginEnv :: CoreM (IORef CorePluginEnv) Source #

Init the CorePluginM environment and save it to IORef.