Language.ATS.Generate

Functions

generateATS

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

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 {-} anywhere)

-> IO ()

Types

type ErrM a = Either GenerateError a

data GenerateError

Constructors

Unsupported String

HaskellSyntaxError SrcLoc String

Internal String

Instances

Eq GenerateError

Methods

(==) :: GenerateError -> GenerateError -> Bool

(/=) :: GenerateError -> GenerateError -> Bool

Show GenerateError

Methods

showsPrec :: Int -> GenerateError -> ShowS

show :: GenerateError -> String

showList :: [GenerateError] -> ShowS

Generic GenerateError

Associated Types

type Rep GenerateError :: * -> *

Methods

from :: GenerateError -> Rep GenerateError x

to :: Rep GenerateError x -> GenerateError

Pretty GenerateError

Methods

pretty :: GenerateError -> Doc

prettyList :: [GenerateError] -> Doc

NFData GenerateError

Methods

rnf :: GenerateError -> ()

type Rep GenerateError

type Rep GenerateError = D1 * (MetaData "GenerateError" "Language.ATS.Generate.Error" "hs2ats-0.3.0.1-F6JNZ4V57876CCdm9ShC9k" False) ((:+:) * (C1 * (MetaCons "Unsupported" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))) ((:+:) * (C1 * (MetaCons "HaskellSyntaxError" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * SrcLoc)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))) (C1 * (MetaCons "Internal" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String)))))