Language.PureScript.Bridge.Printer

Documentation

data Module (lang :: Language)

Constructors

PSModule

Fields

• psModuleName :: !Text
• psImportLines :: !(Map Text ImportLine)
• psTypes :: ![SumType lang]

Instances

Show (Module lang)

Defined in Language.PureScript.Bridge.Printer

Methods

showsPrec :: Int -> Module lang -> ShowS

show :: Module lang -> String

showList :: [Module lang] -> ShowS

type PSModule = Module 'PureScript

data ImportLine

Constructors

ImportLine

Fields

• importModule :: !Text
• importAlias :: !(Maybe Text)
• importTypes :: !(Set Text)

Instances

Show ImportLine

Defined in Language.PureScript.Bridge.Printer

Methods

showsPrec :: Int -> ImportLine -> ShowS

show :: ImportLine -> String

showList :: [ImportLine] -> ShowS

type Modules = Map Text PSModule

type ImportLines = Map Text ImportLine

printModule :: Settings -> FilePath -> PSModule -> IO ()

sumTypesToNeededPackages :: [SumType lang] -> Set Text

sumTypeToNeededPackages :: SumType lang -> Set Text

moduleToText :: Settings -> Module 'PureScript -> Text

_genericsImports :: Settings -> [ImportLine]

_lensImports :: Settings -> [ImportLine]

_argonautCodecsImports :: Settings -> [ImportLine]

_foreignImports :: Settings -> [ImportLine]

importLineToText :: ImportLine -> Text

sumTypeToText :: Settings -> SumType 'PureScript -> Text

sumTypeToTypeDecls :: Settings -> SumType 'PureScript -> Text

foreignOptionsToPurescript :: Maybe ForeignOptions -> Text

instances :: Settings -> SumType 'PureScript -> [Text]

Given a Purescript type, generate instances for typeclass instances it claims to have.

isTypeParam :: PSType -> PSType -> Bool

encodeInstance :: PSType -> Text

encodeJsonInstance :: PSType -> Text

decodeInstance :: PSType -> Text

decodeJsonInstance :: PSType -> Text

decodeJsonFieldInstance :: PSType -> Text

genericInstance :: Settings -> PSType -> Text

sumTypeToOptics :: SumType 'PureScript -> Text

constructorOptics :: SumType 'PureScript -> Text

recordOptics :: SumType 'PureScript -> Text

constructorToText :: Int -> DataConstructor 'PureScript -> Text

spaces :: Int -> Text

typeNameAndForall :: TypeInfo 'PureScript -> (Text, Text)

fromEntries :: (RecordEntry a -> Text) -> [RecordEntry a] -> Text

mkFnArgs :: [RecordEntry 'PureScript] -> Text

mkTypeSig :: [RecordEntry 'PureScript] -> Text

constructorToOptic :: Bool -> TypeInfo 'PureScript -> DataConstructor 'PureScript -> Text

recordEntryToLens :: SumType 'PureScript -> RecordEntry 'PureScript -> Text

recordEntryToText :: RecordEntry 'PureScript -> Text

typeInfoToText :: Bool -> PSType -> Text

mergedTypeInfoToText :: PSType -> Text

sumTypesToModules :: Modules -> [SumType 'PureScript] -> Modules

sumTypeToModule :: SumType 'PureScript -> Modules -> Modules

typesToImportLines :: ImportLines -> Set PSType -> ImportLines

typeToImportLines :: PSType -> ImportLines -> ImportLines

importsFromList :: [ImportLine] -> Map Text ImportLine

mergeImportLines :: ImportLines -> ImportLines -> ImportLines

unlessM :: Monad m => m Bool -> m () -> m ()