Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.Transcript

Description

The data model for Unison transcripts.

Synopsis

type ExpectingError = Bool
type HasBug = Bool
type ScratchFileName = Text
data Hidden
- = Shown
- | HideOutput
- | HideAll
data UcmLine
- = UcmCommand UcmContext Text
- | UcmComment Text
- | UcmOutputLine Text
data UcmContext = UcmContextProject (ProjectAndBranch ProjectName ProjectBranchName)
data APIRequest
- = GetRequest Text
- | APIComment Text
- | APIResponseLine Text
pattern CMarkCodeBlock :: Maybe PosInfo -> Text -> Text -> Node
type Stanza = Either Node ProcessedBlock
data InfoTags a = InfoTags {
- hidden :: Hidden
- expectingError :: ExpectingError
- hasBug :: HasBug
- generated :: Bool
- additionalTags :: a
}
defaultInfoTags :: a -> InfoTags a
defaultInfoTags' :: Monoid a => InfoTags a
data ProcessedBlock
- = Ucm (InfoTags ()) [UcmLine]
- | Unison (InfoTags (Maybe ScratchFileName)) Text
- | API (InfoTags ()) [APIRequest]
data Node

Documentation

type ExpectingError = Bool Source #

type HasBug = Bool Source #

type ScratchFileName = Text Source #

data Hidden Source #

Constructors

Shown
HideOutput
HideAll

Instances

Instances details

Read Hidden Source #
Instance details Defined in Unison.Codebase.Transcript Methods readsPrec :: Int -> ReadS Hidden # readList :: ReadS [Hidden] # readPrec :: ReadPrec Hidden # readListPrec :: ReadPrec [Hidden] #
Show Hidden Source #
Instance details Defined in Unison.Codebase.Transcript Methods showsPrec :: Int -> Hidden -> ShowS # show :: Hidden -> String # showList :: [Hidden] -> ShowS #
Eq Hidden Source #
Instance details Defined in Unison.Codebase.Transcript Methods (==) :: Hidden -> Hidden -> Bool # (/=) :: Hidden -> Hidden -> Bool #
Ord Hidden Source #
Instance details Defined in Unison.Codebase.Transcript Methods compare :: Hidden -> Hidden -> Ordering # (<) :: Hidden -> Hidden -> Bool # (<=) :: Hidden -> Hidden -> Bool # (>) :: Hidden -> Hidden -> Bool # (>=) :: Hidden -> Hidden -> Bool # max :: Hidden -> Hidden -> Hidden # min :: Hidden -> Hidden -> Hidden #

data UcmLine Source #

Constructors

UcmCommand UcmContext Text
UcmComment Text	Text does not include the '--' prefix.
UcmOutputLine Text

Instances

Instances details

Show UcmLine Source #
Instance details Defined in Unison.Codebase.Transcript Methods showsPrec :: Int -> UcmLine -> ShowS # show :: UcmLine -> String # showList :: [UcmLine] -> ShowS #
Eq UcmLine Source #
Instance details Defined in Unison.Codebase.Transcript Methods (==) :: UcmLine -> UcmLine -> Bool # (/=) :: UcmLine -> UcmLine -> Bool #

data UcmContext Source #

Where a command is run: a project branch (myproject/mybranch>).

Constructors

UcmContextProject (ProjectAndBranch ProjectName ProjectBranchName)

Instances

Instances details

Show UcmContext Source #
Instance details Defined in Unison.Codebase.Transcript Methods showsPrec :: Int -> UcmContext -> ShowS # show :: UcmContext -> String # showList :: [UcmContext] -> ShowS #
Eq UcmContext Source #
Instance details Defined in Unison.Codebase.Transcript Methods (==) :: UcmContext -> UcmContext -> Bool # (/=) :: UcmContext -> UcmContext -> Bool #

data APIRequest Source #

Constructors

GetRequest Text
APIComment Text
APIResponseLine Text

Instances

Instances details

Show APIRequest Source #
Instance details Defined in Unison.Codebase.Transcript Methods showsPrec :: Int -> APIRequest -> ShowS # show :: APIRequest -> String # showList :: [APIRequest] -> ShowS #
Eq APIRequest Source #
Instance details Defined in Unison.Codebase.Transcript Methods (==) :: APIRequest -> APIRequest -> Bool # (/=) :: APIRequest -> APIRequest -> Bool #

pattern CMarkCodeBlock :: Maybe PosInfo -> Text -> Text -> Node Source #

type Stanza = Either Node ProcessedBlock Source #

data InfoTags a Source #

Constructors

InfoTags
Fields hidden :: Hidden expectingError :: ExpectingError hasBug :: HasBug generated :: Bool additionalTags :: a

Instances

Instances details

Read a => Read (InfoTags a) Source #
Instance details Defined in Unison.Codebase.Transcript Methods readsPrec :: Int -> ReadS (InfoTags a) # readList :: ReadS [InfoTags a] # readPrec :: ReadPrec (InfoTags a) # readListPrec :: ReadPrec [InfoTags a] #
Show a => Show (InfoTags a) Source #
Instance details Defined in Unison.Codebase.Transcript Methods showsPrec :: Int -> InfoTags a -> ShowS # show :: InfoTags a -> String # showList :: [InfoTags a] -> ShowS #
Eq a => Eq (InfoTags a) Source #
Instance details Defined in Unison.Codebase.Transcript Methods (==) :: InfoTags a -> InfoTags a -> Bool # (/=) :: InfoTags a -> InfoTags a -> Bool #
Ord a => Ord (InfoTags a) Source #
Instance details Defined in Unison.Codebase.Transcript Methods compare :: InfoTags a -> InfoTags a -> Ordering # (<) :: InfoTags a -> InfoTags a -> Bool # (<=) :: InfoTags a -> InfoTags a -> Bool # (>) :: InfoTags a -> InfoTags a -> Bool # (>=) :: InfoTags a -> InfoTags a -> Bool # max :: InfoTags a -> InfoTags a -> InfoTags a # min :: InfoTags a -> InfoTags a -> InfoTags a #

defaultInfoTags :: a -> InfoTags a Source #

defaultInfoTags' :: Monoid a => InfoTags a Source #

If the $sel:additionalTags:InfoTags form a Monoid, then you don’t need to provide a default value for them.

data ProcessedBlock Source #

Constructors

Ucm (InfoTags ()) [UcmLine]
Unison (InfoTags (Maybe ScratchFileName)) Text
API (InfoTags ()) [APIRequest]

Instances

Instances details

Show ProcessedBlock Source #
Instance details Defined in Unison.Codebase.Transcript Methods showsPrec :: Int -> ProcessedBlock -> ShowS # show :: ProcessedBlock -> String # showList :: [ProcessedBlock] -> ShowS #
Eq ProcessedBlock Source #
Instance details Defined in Unison.Codebase.Transcript Methods (==) :: ProcessedBlock -> ProcessedBlock -> Bool # (/=) :: ProcessedBlock -> ProcessedBlock -> Bool #

data Node #

Instances

Instances details

Data Node
Instance details Defined in CMark Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Node -> c Node # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Node # toConstr :: Node -> Constr # dataTypeOf :: Node -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Node) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Node) # gmapT :: (forall b. Data b => b -> b) -> Node -> Node # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Node -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Node -> r # gmapQ :: (forall d. Data d => d -> u) -> Node -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Node -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Node -> m Node # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Node -> m Node # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Node -> m Node #
Generic Node
Instance details Defined in CMark Associated Types type Rep Node :: Type -> Type # Methods from :: Node -> Rep Node x # to :: Rep Node x -> Node #
Read Node
Instance details Defined in CMark Methods readsPrec :: Int -> ReadS Node # readList :: ReadS [Node] # readPrec :: ReadPrec Node # readListPrec :: ReadPrec [Node] #
Show Node
Instance details Defined in CMark Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
Eq Node
Instance details Defined in CMark Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Ord Node
Instance details Defined in CMark Methods compare :: Node -> Node -> Ordering # (<) :: Node -> Node -> Bool # (<=) :: Node -> Node -> Bool # (>) :: Node -> Node -> Bool # (>=) :: Node -> Node -> Bool # max :: Node -> Node -> Node # min :: Node -> Node -> Node #
type Rep Node
Instance details Defined in CMark type Rep Node = D1 ('MetaData "Node" "CMark" "cmark-0.6.1-Ll0dX5qpF6PEeRr1RSJhdm" 'False) (C1 ('MetaCons "Node" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PosInfo)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeType) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Node]))))