Zifter.Zift.Types

Documentation

data ZiftToken

Constructors

ZiftToken [LR] (Maybe ZiftOutput)

Instances

Eq ZiftToken

Methods

(==) :: ZiftToken -> ZiftToken -> Bool

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

Show ZiftToken

Methods

showsPrec :: Int -> ZiftToken -> ShowS

show :: ZiftToken -> String

showList :: [ZiftToken] -> ShowS

Generic ZiftToken

Associated Types

type Rep ZiftToken :: * -> *

Methods

from :: ZiftToken -> Rep ZiftToken x

to :: Rep ZiftToken x -> ZiftToken

type Rep ZiftToken

type Rep ZiftToken = D1 * (MetaData "ZiftToken" "Zifter.Zift.Types" "zifter-0.0.1.6-I0Wu9n3BFZIGTS85x2GK39" False) (C1 * (MetaCons "ZiftToken" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LR])) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe ZiftOutput)))))

data ZiftOutput

Constructors

ZiftOutput

Fields

• outputColors :: [SGR]
• outputMessage :: String

Instances

Eq ZiftOutput

Methods

(==) :: ZiftOutput -> ZiftOutput -> Bool

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

Show ZiftOutput

Methods

showsPrec :: Int -> ZiftOutput -> ShowS

show :: ZiftOutput -> String

showList :: [ZiftOutput] -> ShowS

Generic ZiftOutput

Associated Types

type Rep ZiftOutput :: * -> *

Methods

from :: ZiftOutput -> Rep ZiftOutput x

to :: Rep ZiftOutput x -> ZiftOutput

type Rep ZiftOutput

type Rep ZiftOutput = D1 * (MetaData "ZiftOutput" "Zifter.Zift.Types" "zifter-0.0.1.6-I0Wu9n3BFZIGTS85x2GK39" False) (C1 * (MetaCons "ZiftOutput" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "outputColors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [SGR])) (S1 * (MetaSel (Just Symbol "outputMessage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))

data ZiftContext

Constructors

ZiftContext

Fields

• rootdir :: Path Abs Dir
• tmpdir :: Path Abs Dir
• settings :: Settings
• printChan :: TChan ZiftToken
• recursionList :: [LR]

Instances

Generic ZiftContext

Associated Types

type Rep ZiftContext :: * -> *

Methods

from :: ZiftContext -> Rep ZiftContext x

to :: Rep ZiftContext x -> ZiftContext

Validity ZiftContext

Methods

validate :: ZiftContext -> Validation

isValid :: ZiftContext -> Bool

type Rep ZiftContext

type Rep ZiftContext = D1 * (MetaData "ZiftContext" "Zifter.Zift.Types" "zifter-0.0.1.6-I0Wu9n3BFZIGTS85x2GK39" False) (C1 * (MetaCons "ZiftContext" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "rootdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Path Abs Dir))) (S1 * (MetaSel (Just Symbol "tmpdir") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Path Abs Dir)))) ((:*:) * (S1 * (MetaSel (Just Symbol "settings") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Settings)) ((:*:) * (S1 * (MetaSel (Just Symbol "printChan") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (TChan ZiftToken))) (S1 * (MetaSel (Just Symbol "recursionList") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [LR]))))))

data LR

Constructors

L

R

Instances

Eq LR

Methods

(==) :: LR -> LR -> Bool

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

Show LR

Methods

showsPrec :: Int -> LR -> ShowS

show :: LR -> String

showList :: [LR] -> ShowS

Generic LR

Associated Types

type Rep LR :: * -> *

Methods

from :: LR -> Rep LR x

to :: Rep LR x -> LR

type Rep LR

type Rep LR = D1 * (MetaData "LR" "Zifter.Zift.Types" "zifter-0.0.1.6-I0Wu9n3BFZIGTS85x2GK39" False) ((:+:) * (C1 * (MetaCons "L" PrefixI False) (U1 *)) (C1 * (MetaCons "R" PrefixI False) (U1 *)))

data Zift a where

Constructors

ZiftPure :: a -> Zift a

ZiftCtx :: Zift ZiftContext

ZiftPrint :: ZiftOutput -> Zift ()

ZiftFail :: String -> Zift a

ZiftIO :: IO a -> Zift a

ZiftFmap :: (a -> b) -> Zift a -> Zift b

ZiftApp :: Zift (a -> b) -> Zift a -> Zift b

ZiftBind :: Zift a -> (a -> Zift b) -> Zift b

Instances

Monad Zift

Zift actions can be composed.

Methods

(>>=) :: Zift a -> (a -> Zift b) -> Zift b

(>>) :: Zift a -> Zift b -> Zift b

return :: a -> Zift a

fail :: String -> Zift a

Functor Zift

Methods

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

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

MonadFail Zift

A Zift action can fail.

To make a Zift action fail, you can use the fail :: String -> Zift a function.

The implementation uses the given string as the message that is shown at the very end of the run.

Methods

fail :: String -> Zift a

Applicative Zift

Zift actions can be sequenced.

The implementation automatically parallelises the arguments of the (*) function. If any of the actions fails, the other is cancelled and the result fails.

Methods

pure :: a -> Zift a

(<*>) :: Zift (a -> b) -> Zift a -> Zift b

liftA2 :: (a -> b -> c) -> Zift a -> Zift b -> Zift c

(*>) :: Zift a -> Zift b -> Zift b

(<*) :: Zift a -> Zift b -> Zift a

MonadIO Zift

Any IO action can be part of a Zift action.

This is the most important instance for the end user.

liftIO :: IO a -> Zift a

allows embedding arbitrary IO actions inside a Zift action.

The implementation also ensures that exceptions are caught.

Methods

liftIO :: IO a -> Zift a

MonadThrow Zift

Methods

throwM :: Exception e => e -> Zift a

Monoid a => Monoid (Zift a)

Methods

mempty :: Zift a

mappend :: Zift a -> Zift a -> Zift a

mconcat :: [Zift a] -> Zift a

data ZiftResult a

Constructors

ZiftSuccess a

ZiftFailed String

Instances

Monad ZiftResult

Methods

(>>=) :: ZiftResult a -> (a -> ZiftResult b) -> ZiftResult b

(>>) :: ZiftResult a -> ZiftResult b -> ZiftResult b

return :: a -> ZiftResult a

fail :: String -> ZiftResult a

Functor ZiftResult

Methods

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

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

MonadFail ZiftResult

Methods

fail :: String -> ZiftResult a

Applicative ZiftResult

Methods

pure :: a -> ZiftResult a

(<*>) :: ZiftResult (a -> b) -> ZiftResult a -> ZiftResult b

liftA2 :: (a -> b -> c) -> ZiftResult a -> ZiftResult b -> ZiftResult c

(*>) :: ZiftResult a -> ZiftResult b -> ZiftResult b

(<*) :: ZiftResult a -> ZiftResult b -> ZiftResult a

Eq a => Eq (ZiftResult a)

Methods

(==) :: ZiftResult a -> ZiftResult a -> Bool

(/=) :: ZiftResult a -> ZiftResult a -> Bool

Show a => Show (ZiftResult a)

Methods

showsPrec :: Int -> ZiftResult a -> ShowS

show :: ZiftResult a -> String

showList :: [ZiftResult a] -> ShowS

Generic (ZiftResult a)

Associated Types

type Rep (ZiftResult a) :: * -> *

Methods

from :: ZiftResult a -> Rep (ZiftResult a) x

to :: Rep (ZiftResult a) x -> ZiftResult a

Monoid a => Monoid (ZiftResult a)

Methods

mempty :: ZiftResult a

mappend :: ZiftResult a -> ZiftResult a -> ZiftResult a

mconcat :: [ZiftResult a] -> ZiftResult a

Validity a => Validity (ZiftResult a)

Methods

validate :: ZiftResult a -> Validation

isValid :: ZiftResult a -> Bool

type Rep (ZiftResult a)

type Rep (ZiftResult a) = D1 * (MetaData "ZiftResult" "Zifter.Zift.Types" "zifter-0.0.1.6-I0Wu9n3BFZIGTS85x2GK39" False) ((:+:) * (C1 * (MetaCons "ZiftSuccess" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a))) (C1 * (MetaCons "ZiftFailed" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * String))))