Safe Haskell	None
Language	Haskell2010

Language.ATS.Generate

Contents

Functions
Types

Synopsis

generateATS :: FilePath -> String -> ErrM (String, [GenerateError])
genATSTypes :: FilePath -> FilePath -> Bool -> IO ()
type ErrM a = Either GenerateError a
data GenerateError
- = Unsupported String
- | HaskellSyntaxError SrcLoc String
- | Internal String
- | Malformed String

Functions

generateATS Source #

Arguments

:: FilePath	Name of source file
-> String	Source file contents
-> ErrM (String, [GenerateError])

Given a string containing Haskell, return a string containing ATS and a list of warnings.

genATSTypes Source #

Arguments

:: FilePath	Haskell source file
-> FilePath	`.sats` file to be generated
-> Bool	Whether to use pre-process the Haskell source (use this if you use `{#- LANGUAGE CPP #-}` anywhere)
-> IO ()

Types

type ErrM a = Either GenerateError a Source #

data GenerateError Source #

Constructors

Unsupported String
HaskellSyntaxError SrcLoc String
Internal String
Malformed String

Instances

Eq GenerateError Source #
Instance details Defined in Language.ATS.Generate.Error Methods (==) :: GenerateError -> GenerateError -> Bool # (/=) :: GenerateError -> GenerateError -> Bool #
Show GenerateError Source #
Instance details Defined in Language.ATS.Generate.Error Methods showsPrec :: Int -> GenerateError -> ShowS # show :: GenerateError -> String # showList :: [GenerateError] -> ShowS #
Generic GenerateError Source #
Instance details Defined in Language.ATS.Generate.Error Associated Types type Rep GenerateError :: Type -> Type # Methods from :: GenerateError -> Rep GenerateError x # to :: Rep GenerateError x -> GenerateError #
Pretty GenerateError Source #
Instance details Defined in Language.ATS.Generate.Error Methods pretty :: GenerateError -> Doc # prettyList :: [GenerateError] -> Doc #
NFData GenerateError Source #
Instance details Defined in Language.ATS.Generate.Error Methods rnf :: GenerateError -> () #
type Rep GenerateError Source #
Instance details Defined in Language.ATS.Generate.Error type Rep GenerateError = D1 (MetaData "GenerateError" "Language.ATS.Generate.Error" "hs2ats-0.5.0.0-ITGcNgb1IzFHOHwsAuDEIq" False) ((C1 (MetaCons "Unsupported" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "HaskellSyntaxError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SrcLoc) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "Internal" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "Malformed" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))