Data.Generics.SYB.WithClass.Basics

Synopsis

• module Data.Typeable
• module Data.Generics.SYB.WithClass.Context
• data Proxy a
• class (Typeable a, Sat (ctx a)) => Data ctx a where
  • gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> a -> w a
  • gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a
  • toConstr :: Proxy ctx -> a -> Constr
  • dataTypeOf :: Proxy ctx -> a -> DataType
  • dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w a)
  • dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w a)
• type GenericT ctx = forall a. Data ctx a => a -> a
• gmapT :: Proxy ctx -> GenericT ctx -> GenericT ctx
• newtype ID x = ID {
  • unID :: x
  }
• type GenericM m ctx = forall a. Data ctx a => a -> m a
• gmapM :: Monad m => Proxy ctx -> GenericM m ctx -> GenericM m ctx
• type GenericQ ctx r = forall a. Data ctx a => a -> r
• gmapQ :: Proxy ctx -> GenericQ ctx r -> GenericQ ctx [r]
• gmapQr :: Data ctx a => Proxy ctx -> (r' -> r -> r) -> r -> GenericQ ctx r' -> a -> r
• newtype Qr r a = Qr {
  • unQr :: r -> r
  }
• fromConstr :: Data ctx a => Proxy ctx -> Constr -> a
• fromConstrB :: Data ctx a => Proxy ctx -> (forall b. Data ctx b => b) -> Constr -> a
• fromConstrM :: (Monad m, Data ctx a) => Proxy ctx -> (forall b. Data ctx b => m b) -> Constr -> m a
• data DataType = DataType {
  • tycon :: String
  • datarep :: DataRep
  }
• data Constr = Constr {
  • conrep :: ConstrRep
  • constring :: String
  • confields :: [String]
  • confixity :: Fixity
  • datatype :: DataType
  }
• data DataRep
  • = AlgRep [Constr]
  • | IntRep
  • | FloatRep
  • | StringRep
  • | NoRep
• data ConstrRep
  • = AlgConstr ConIndex
  • | IntConstr Integer
  • | FloatConstr Double
  • | StringConstr String
• type ConIndex = Int
• data Fixity
  • = Prefix
  • | Infix
• dataTypeName :: DataType -> String
• dataTypeRep :: DataType -> DataRep
• constrType :: Constr -> DataType
• constrRep :: Constr -> ConstrRep
• repConstr :: DataType -> ConstrRep -> Constr
• mkDataType :: String -> [Constr] -> DataType
• mkConstr :: DataType -> String -> [String] -> Fixity -> Constr
• dataTypeConstrs :: DataType -> [Constr]
• constrFields :: Constr -> [String]
• constrFixity :: Constr -> Fixity
• showConstr :: Constr -> String
• readConstr :: DataType -> String -> Maybe Constr
• isAlgType :: DataType -> Bool
• indexConstr :: DataType -> ConIndex -> Constr
• constrIndex :: Constr -> ConIndex
• maxConstrIndex :: DataType -> ConIndex
• mkIntType :: String -> DataType
• mkFloatType :: String -> DataType
• mkStringType :: String -> DataType
• mkPrimType :: DataRep -> String -> DataType
• mkPrimCon :: DataType -> String -> ConstrRep -> Constr
• mkIntConstr :: DataType -> Integer -> Constr
• mkFloatConstr :: DataType -> Double -> Constr
• mkStringConstr :: DataType -> String -> Constr
• mkNorepType :: String -> DataType
• isNorepType :: DataType -> Bool

Documentation