phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Margin

Documentation

defaultMargin :: Int Source #

withMargin :: WithMargin a => Int -> a -> a Source #

withLines :: (WithMargin a, ToSingleLine a) => LineFormat -> Int -> a -> a Source #

class WithMargin a Source #

Minimal complete definition

withMargin'

Instances

Instances details
WithMargin APP_ARG Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> APP_ARG -> APP_ARG

WithMargin APP_ARGS Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> APP_ARGS -> APP_ARGS

WithMargin APP_ARGUMENT Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> APP_ARGUMENT -> APP_ARGUMENT

WithMargin APP_BINDING Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> APP_BINDING -> APP_BINDING

WithMargin BINDING Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> BINDING -> BINDING

WithMargin BINDINGS Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> BINDINGS -> BINDINGS

WithMargin CONDITION Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> CONDITION -> CONDITION

WithMargin EXPRESSION Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> EXPRESSION -> EXPRESSION

WithMargin EXTRA Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> EXTRA -> EXTRA

WithMargin PAIR Source # 
Instance details

Defined in Margin

Methods

withMargin' :: (Int, Int) -> PAIR -> PAIR