unison-cli-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Codebase.Transcript

Description

The data model for Unison transcripts.

Synopsis

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

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]))))