Safe Haskell	None
Language	GHC2021

Shrun.Configuration.Data.Truncation

Contents

Misc

Synopsis

data TruncRegion
- = TruncCommandName
- | TruncLine
newtype Truncation (a :: TruncRegion) = MkTruncation {
- unTruncation :: Natural
}
parseTruncation :: forall m (r :: TruncRegion). MonadFail m => m Natural -> m (Truncation r)
data LineTruncation
- = Undetected (Truncation 'TruncLine)
- | Detected
parseLineTruncation :: (Alternative m, MonadFail m) => m Natural -> m Text -> m LineTruncation
decodeCommandNameTrunc :: Decoder (Maybe (Truncation 'TruncCommandName))
decodeLineTrunc :: Decoder (Maybe LineTruncation)
configToLineTrunc :: (HasCallStack, MonadTerminal m) => WithDisabled LineTruncation -> m (Maybe (Truncation 'TruncLine))

Documentation

data TruncRegion Source #

The different regions to apply truncation rules.

Constructors

TruncCommandName	Apply truncation rules to commands/key names.
TruncLine	Apply truncation rules to command log entire lines.

Instances

Instances details

Show TruncRegion Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods showsPrec :: Int -> TruncRegion -> ShowS # show :: TruncRegion -> String # showList :: [TruncRegion] -> ShowS #
Eq TruncRegion Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods (==) :: TruncRegion -> TruncRegion -> Bool # (/=) :: TruncRegion -> TruncRegion -> Bool #

newtype Truncation (a :: TruncRegion) Source #

The maximum number of command characters to display in the logs.

Constructors

MkTruncation
Fields unTruncation :: Natural

Instances

Instances details

(k ~ An_Iso, a ~ Natural, b ~ Natural) => LabelOptic "unTruncation" k (Truncation r) (Truncation r) a b Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods labelOptic :: Optic k NoIx (Truncation r) (Truncation r) a b Source #
Num (Truncation a) Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods (+) :: Truncation a -> Truncation a -> Truncation a # (-) :: Truncation a -> Truncation a -> Truncation a # (*) :: Truncation a -> Truncation a -> Truncation a # negate :: Truncation a -> Truncation a # abs :: Truncation a -> Truncation a # signum :: Truncation a -> Truncation a # fromInteger :: Integer -> Truncation a #
Show (Truncation a) Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods showsPrec :: Int -> Truncation a -> ShowS # show :: Truncation a -> String # showList :: [Truncation a] -> ShowS #
Eq (Truncation a) Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods (==) :: Truncation a -> Truncation a -> Bool # (/=) :: Truncation a -> Truncation a -> Bool #
Ord (Truncation a) Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods compare :: Truncation a -> Truncation a -> Ordering # (<) :: Truncation a -> Truncation a -> Bool # (<=) :: Truncation a -> Truncation a -> Bool # (>) :: Truncation a -> Truncation a -> Bool # (>=) :: Truncation a -> Truncation a -> Bool # max :: Truncation a -> Truncation a -> Truncation a # min :: Truncation a -> Truncation a -> Truncation a #
DecodeTOML (Truncation a) Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods tomlDecoder :: Decoder (Truncation a) Source #

parseTruncation :: forall m (r :: TruncRegion). MonadFail m => m Natural -> m (Truncation r) Source #

data LineTruncation Source #

Determines command log line truncation behavior. We need a separate type from Truncation to add a third option, to detect the terminal size automatically.

Constructors

Undetected (Truncation 'TruncLine)
Detected

Instances

Instances details

Show LineTruncation Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods showsPrec :: Int -> LineTruncation -> ShowS # show :: LineTruncation -> String # showList :: [LineTruncation] -> ShowS #
Eq LineTruncation Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods (==) :: LineTruncation -> LineTruncation -> Bool # (/=) :: LineTruncation -> LineTruncation -> Bool #
DecodeTOML LineTruncation Source #
Instance details Defined in Shrun.Configuration.Data.Truncation Methods tomlDecoder :: Decoder LineTruncation Source #

parseLineTruncation :: (Alternative m, MonadFail m) => m Natural -> m Text -> m LineTruncation Source #

Misc

decodeCommandNameTrunc :: Decoder (Maybe (Truncation 'TruncCommandName)) Source #

decodeLineTrunc :: Decoder (Maybe LineTruncation) Source #

configToLineTrunc :: (HasCallStack, MonadTerminal m) => WithDisabled LineTruncation -> m (Maybe (Truncation 'TruncLine)) Source #

Maps line trunc config to actual value.