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)

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
• importTypes :: !(Set Text)

Instances

Show ImportLine

Methods

showsPrec :: Int -> ImportLine -> ShowS

show :: ImportLine -> String

showList :: [ImportLine] -> ShowS

type Modules = Map Text PSModule

type ImportLines = Map Text ImportLine

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

sumTypesToNeededPackages :: [SumType lang] -> Set Text

sumTypeToNeededPackages :: SumType lang -> Set Text

moduleToText :: Module PureScript -> Text

_lensImports :: [ImportLine]

importLineToText :: ImportLine -> Text

sumTypeToText :: SumType PureScript -> Text

sumTypeToTypeDecls :: SumType PureScript -> Text

instances :: SumType PureScript -> [Text]

Given a Purescript type, generate `derive instance` lines for typeclass instances it claims to have.

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

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 ()