Codegen

Documentation

upper :: Text -> Text

lower :: String -> String

type TyMap = Map Text Text

type FieldMapping = Map String String

type Modifier = String -> String

mkOption

Arguments

:: Modifier

field modifier

-> Options

mkModifier :: FieldMapping -> Modifier

defTyMap :: TyMap

typeConv :: TyMap -> Type -> Type

app :: Type -> [Type] -> Type

convArg :: TyMap -> Arg -> Field

combToConstr :: TyMap -> Combinator -> Constr

formArr :: [Field] -> Type -> Ann -> TypeSig

combToFun :: TyMap -> Combinator -> FunDef

convADT :: TyMap -> ADT -> ADT

countElem :: Eq a => a -> [a] -> Int

sanitize' :: Text -> (Text, FieldMapping)

sanitizeArg :: Int -> Text -> (Text, FieldMapping)

type State = (Map Text [Type], FieldMapping)

sanitizeField :: State -> Field -> (State, Field)

sanitizeField' :: Field -> (State, [Field]) -> (State, [Field])

sanitizeConstr :: State -> Constr -> (State, Constr)

sanitizeConstr' :: Constr -> (State, [Constr]) -> (State, [Constr])

sanitizeADT :: ADT -> (ADT, FieldMapping)

convFun :: TyMap -> Function -> FunDef

paramADT :: FunDef -> ADT