Documentation

type TyMap = Map Text Text Source #

type FieldMapping = Map String String Source #

type Modifier = String -> String Source #

mkOption Source #

mkModifier :: FieldMapping -> Modifier Source #

defTyMap :: TyMap Source #

typeConv :: TyMap -> Type -> Type Source #

app :: Type -> [Type] -> Type Source #

convArg :: TyMap -> Arg -> Field Source #

combToConstr :: TyMap -> Combinator -> Constr Source #

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

combToFun :: TyMap -> Combinator -> FunDef Source #

convADT :: TyMap -> ADT -> ADT Source #

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

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

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

type SanitizerState = (Map Text [Type], FieldMapping) Source #

sanitizeField :: SanitizerState -> Field -> (SanitizerState, Field) Source #

sanitizeField' :: Field -> (SanitizerState, [Field]) -> (SanitizerState, [Field]) Source #

sanitizeConstr :: SanitizerState -> Constr -> (SanitizerState, Constr) Source #

sanitizeConstr' :: Constr -> (SanitizerState, [Constr]) -> (SanitizerState, [Constr]) Source #

sanitizeADT :: ADT -> (ADT, FieldMapping) Source #

convFun :: TyMap -> Function -> FunDef Source #

paramADT :: FunDef -> ADT Source #