,&       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SafeUYou can use those if your type parameters are actually type constructors as well: |  | toSumType (Proxy :: Proxy (ReaderT R M1 A)) | 4  !"#$%&'()*+,-./01234  !"#$%&'()*+,-./012343210/.-,+*)('&%$#"!  4  !"#$%&'()*+,-./0123Safe6Hackage package7Full Module path=MPut the TypeInfo in a list together with all its typeParameters (recursively) 456789:;<=> 456789:;<=> :456789;<=>456789:;<=>Safe ?@ABCDEFG ?@ABCDEFG ?@ABCDEFG?@ABCDEFGSafeHIJKLMHIJKLMHIJKLMHIJKLMSafe0345KLNNOPQRSTUVWXYZ[\]^_`abcdNOPQRSTUVWXYZ[\]^Z[VWXYRSTU\PQNOdcba`_]^NOPQRSTUVWXYZ[\]^_`abcdSafeefghijklmnopqrstuvwxyz{efghijklmnopqrstuvwxyz{klmnoghijfepqrstuvwxyz{efghijklmnopqrstuvwxyz{Safe|Your entry point to this library and quite likely all you will need. | Make sure all your types derive Generic and Typeable. | Typeable is not needed from ghc-7.10 on. | Then call | like this: |  | let myTypes = [ | \ (Proxy :: Proxy MyType1) | , \ (Proxy :: Proxy MyType2) | ] | | ~ "pathtoyou purescriptproject" myTypes | 1 | You can add new type mappings, like this: |  | myBridge = ~  | mySpecialTypeBridge | = | Find examples for implementing your own type bridges in: 7 | A real world use case of this library can be found  Hhttps://github.com/gonimo/gonimo-back/blob/master/src/MkFrontendTypes.hsherej. | Last but not least: | WARNING: This function overwrites files - make backups or use version control!~rDefault bridge for mapping primitive/common types: | You can append your own bridges like this: | defaultBridge  | myBridge1  | myBridge20Translate types that come from any module named Something.TypeParameters8 to lower case: | Also drop the 1 at the end if present|}~E456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^efghijklmnopqrstuvwxyz{|}~}~||}~      !"#$%&'()*+,-./0123456789:;<==>?@ABCDEFGHIJKLMNOPQRSTUVWXYZZ[\]]^_``abcdefghijkllmnoopqrstuvwxyz{|}~pures_9CDfBT3Mhr9IBXANsCQgRw)Language.PureScript.Bridge.TypeParameters#Language.PureScript.Bridge.TypeInfo Language.PureScript.Bridge.Tuple%Language.PureScript.Bridge.Primitives"Language.PureScript.Bridge.SumType"Language.PureScript.Bridge.PrinterLanguage.PureScript.Bridge PrimitivesZ1Y1X1W1V1U1T1S1R1Q1P1O1N1M1L1K1J1I1H1G1F1E1D1C1B1A1ZYXWVUTSRQPONMLKJIHGFEDCBATypeInfo typePackage typeModuletypeNametypeParameters TypeBridge mkTypeInfo mkTypeInfo'flattenTypeInfo eqTypeNameTupleParserStateStart OpenFound ColonFoundTupleNoTuple tupleBridgestepisTuple boolBridge intBridge stringBridge listBridge maybeBridge eitherBridge GRecordEntrygToRecordEntriesGDataConstructorgToConstructors RecordEntryrecLabelrecValueDataConstructorsigConstructor sigValuesSumType toSumType getUsedTypesconstructorToType$fGRecordEntryM1$fGRecordEntryU1$fGRecordEntry:*:$fGDataConstructorM1$fGDataConstructor:+:$fGDataConstructorM10 ImportLinesModules ImportLine importModule importTypesPSModule psModuleName psImportLinespsTypes printModule moduleToTextimportLineToText sumTypeToTextconstructorToTextrecordEntryToTexttypeInfoToTextsumTypesToModulessumTypeToModuletypesToImportLinestypeToImportLinesunlessM writePSTypes bridgeSumType defaultBridgefixTypeParametersdoBridgebridgeConstructorbridgeRecordEntry