Ormolu

A formatter for Haskell source code.

Documentation

ormolu

Arguments

:: MonadIO m

=> Config RegionIndices

Ormolu configuration

-> FilePath

Location of source file

-> String

Input to format

-> m Text

Format a String, return formatted version as Text.

The function

• Takes String because that's what GHC parser accepts.
• Needs IO because some functions from GHC that are necessary to setup parsing context require IO. There should be no visible side-effects though.
• Takes file name just to use it in parse error messages.
• Throws OrmoluException.

NOTE: The caller is responsible for setting the appropriate value in the cfgSourceType field. Autodetection of source type won't happen here, see detectSourceType.

ormoluFile

Arguments

:: MonadIO m

=> Config RegionIndices

Ormolu configuration

-> FilePath

Location of source file

-> m Text

Resulting rendition

Load a file and format it. The file stays intact and the rendered version is returned as Text.

NOTE: The caller is responsible for setting the appropriate value in the cfgSourceType field. Autodetection of source type won't happen here, see detectSourceType.

ormoluStdin

Arguments

:: MonadIO m

=> Config RegionIndices

Ormolu configuration

-> m Text

Resulting rendition

Read input from stdin and format it.

NOTE: The caller is responsible for setting the appropriate value in the cfgSourceType field. Autodetection of source type won't happen here, see detectSourceType.

data Config region

Ormolu configuration.

Constructors

Config

Fields

• cfgDynOptions :: ![DynOption]

  Dynamic options to pass to GHC parser

• cfgUnsafe :: !Bool

  Do formatting faster but without automatic detection of defects

• cfgDebug :: !Bool

  Output information useful for debugging

• cfgCheckIdempotence :: !Bool

  Checks if re-formatting the result is idempotent

• cfgSourceType :: !SourceType

  How to parse the input (regular haskell module or Backpack file)

• cfgColorMode :: !ColorMode

  Whether to use colors and other features of ANSI terminals

• cfgRegion :: !region

  Region selection

Instances

Functor Config

Defined in Ormolu.Config

Methods

fmap :: (a -> b) -> Config a -> Config b

(<$) :: a -> Config b -> Config a

Eq region => Eq (Config region)

Defined in Ormolu.Config

Methods

(==) :: Config region -> Config region -> Bool

(/=) :: Config region -> Config region -> Bool

Show region => Show (Config region)

Defined in Ormolu.Config

Methods

showsPrec :: Int -> Config region -> ShowS

show :: Config region -> String

showList :: [Config region] -> ShowS

Generic (Config region)

Defined in Ormolu.Config

Associated Types

type Rep (Config region) :: Type -> Type

Methods

from :: Config region -> Rep (Config region) x

to :: Rep (Config region) x -> Config region

type Rep (Config region)

Defined in Ormolu.Config

type Rep (Config region) = D1 ('MetaData "Config" "Ormolu.Config" "ormolu-0.4.0.0-ERxks88mRJJ7kMl9nhcGE9" 'False) (C1 ('MetaCons "Config" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cfgDynOptions") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [DynOption]) :*: (S1 ('MetaSel ('Just "cfgUnsafe") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "cfgDebug") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool))) :*: ((S1 ('MetaSel ('Just "cfgCheckIdempotence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "cfgSourceType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourceType)) :*: (S1 ('MetaSel ('Just "cfgColorMode") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ColorMode) :*: S1 ('MetaSel ('Just "cfgRegion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 region)))))

data ColorMode

Whether to use colors and other features of ANSI terminals.

Constructors

Never

Always

Auto

Instances

Eq ColorMode

Defined in Ormolu.Terminal

Methods

(==) :: ColorMode -> ColorMode -> Bool

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

Show ColorMode

Defined in Ormolu.Terminal

Methods

showsPrec :: Int -> ColorMode -> ShowS

show :: ColorMode -> String

showList :: [ColorMode] -> ShowS

data RegionIndices

Region selection as the combination of start and end line numbers.

Constructors

RegionIndices

Fields

• regionStartLine :: !(Maybe Int)

  Start line of the region to format

• regionEndLine :: !(Maybe Int)

  End line of the region to format

Instances

Eq RegionIndices

Defined in Ormolu.Config

Methods

(==) :: RegionIndices -> RegionIndices -> Bool

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

Show RegionIndices

Defined in Ormolu.Config

Methods

showsPrec :: Int -> RegionIndices -> ShowS

show :: RegionIndices -> String

showList :: [RegionIndices] -> ShowS

data SourceType

Type of sources that can be formatted by Ormolu.

Constructors

ModuleSource

Consider the input as a regular Haskell module

SignatureSource

Consider the input as a Backpack module signature

Instances

Eq SourceType

Defined in Ormolu.Config

Methods

(==) :: SourceType -> SourceType -> Bool

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

Show SourceType

Defined in Ormolu.Config

Methods

showsPrec :: Int -> SourceType -> ShowS

show :: SourceType -> String

showList :: [SourceType] -> ShowS

defaultConfig :: Config RegionIndices

Default Config RegionIndices.

detectSourceType :: FilePath -> SourceType

Detect SourceType based on the file extension.

newtype DynOption

A wrapper for dynamic options.

Constructors

DynOption

Fields

• unDynOption :: String

Instances

Eq DynOption

Defined in Ormolu.Config

Methods

(==) :: DynOption -> DynOption -> Bool

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

Ord DynOption

Defined in Ormolu.Config

Methods

compare :: DynOption -> DynOption -> Ordering

(<) :: DynOption -> DynOption -> Bool

(<=) :: DynOption -> DynOption -> Bool

(>) :: DynOption -> DynOption -> Bool

(>=) :: DynOption -> DynOption -> Bool

max :: DynOption -> DynOption -> DynOption

min :: DynOption -> DynOption -> DynOption

Show DynOption

Defined in Ormolu.Config

Methods

showsPrec :: Int -> DynOption -> ShowS

show :: DynOption -> String

showList :: [DynOption] -> ShowS

data OrmoluException

Ormolu exception representing all cases when Ormolu can fail.

Constructors

OrmoluParsingFailed SrcSpan String

Parsing of original source code failed

OrmoluOutputParsingFailed SrcSpan String

Parsing of formatted source code failed

OrmoluASTDiffers FilePath [SrcSpan]

Original and resulting ASTs differ

OrmoluNonIdempotentOutput TextDiff

Formatted source code is not idempotent

OrmoluUnrecognizedOpts (NonEmpty String)

Some GHC options were not recognized

OrmoluCabalFileParsingFailed FilePath

Cabal file parsing failed

OrmoluMissingStdinInputFile

Missing input file path when using stdin input and accounting for .cabal files

Instances

Eq OrmoluException

Defined in Ormolu.Exception

Methods

(==) :: OrmoluException -> OrmoluException -> Bool

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

Show OrmoluException

Defined in Ormolu.Exception

Methods

showsPrec :: Int -> OrmoluException -> ShowS

show :: OrmoluException -> String

showList :: [OrmoluException] -> ShowS

Exception OrmoluException

Defined in Ormolu.Exception

Methods

toException :: OrmoluException -> SomeException

fromException :: SomeException -> Maybe OrmoluException

displayException :: OrmoluException -> String

withPrettyOrmoluExceptions

Arguments

:: ColorMode

Color mode

-> IO ExitCode

Action that may throw an exception

-> IO ExitCode

Inside this wrapper OrmoluException will be caught and displayed nicely.