unison-parser-typechecker-0.0.0

Safe Haskell	None
Language	Haskell2010

Unison.Codebase.ProjectPath

Contents

Re-exports, this also helps with using dot-notation

Synopsis

data ProjectPathG proj branch = ProjectPath {
- project :: proj
- branch :: branch
- absPath :: Absolute
}
type ProjectPathIds = ProjectPathG ProjectId ProjectBranchId
type ProjectPathNames = ProjectPathG ProjectName ProjectBranchName
type ProjectPath = ProjectPathG Project ProjectBranch
fromProjectAndBranch :: ProjectAndBranch Project ProjectBranch -> Absolute -> ProjectPath
projectBranchRoot :: ProjectAndBranch Project ProjectBranch -> ProjectPath
toRoot :: ProjectPath -> ProjectPath
absPath_ :: forall p b f. Functor f => (Absolute -> f Absolute) -> ProjectPathG p b -> f (ProjectPathG p b)
path_ :: forall p b f. Functor f => (Path -> f Path) -> ProjectPathG p b -> f (ProjectPathG p b)
path :: ProjectPathG p b -> Path
toProjectAndBranch :: ProjectPathG p b -> ProjectAndBranch p b
projectAndBranch_ :: forall p b p' b' f. Functor f => (ProjectAndBranch p b -> f (ProjectAndBranch p' b')) -> ProjectPathG p b -> f (ProjectPathG p' b')
toIds :: ProjectPath -> ProjectPathIds
toNames :: ProjectPath -> ProjectPathNames
projectPathParser :: Parser ProjectPathNames
parseProjectPath :: Text -> Either Text ProjectPathNames
data ProjectAndBranch a b = ProjectAndBranch {
- project :: a
- branch :: b
}
data Project = Project {
- projectId :: !ProjectId
- name :: !ProjectName
}
data ProjectBranch = ProjectBranch {
- projectId :: !ProjectId
- branchId :: !ProjectBranchId
- name :: !ProjectBranchName
- parentBranchId :: !(Maybe ProjectBranchId)
- isMerge :: !Bool
- isUpdate :: !Bool
- isUpgrade :: !Bool
}

Documentation

data ProjectPathG proj branch Source #

Constructors

ProjectPath
Fields project :: proj branch :: branch absPath :: Absolute

Instances

Instances details

Bifoldable ProjectPathG Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

bifold :: Monoid m => ProjectPathG m m -> m #

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ProjectPathG a b -> m #

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ProjectPathG a b -> c #

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ProjectPathG a b -> c #

Bifunctor ProjectPathG Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

bimap :: (a -> b) -> (c -> d) -> ProjectPathG a c -> ProjectPathG b d #

first :: (a -> b) -> ProjectPathG a c -> ProjectPathG b c #

second :: (b -> c) -> ProjectPathG a b -> ProjectPathG a c #

Bitraversable ProjectPathG Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ProjectPathG a b -> f (ProjectPathG c d) #

Pathy ProjectPath Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

ascend :: ProjectPath -> Maybe ProjectPath Source #

descend :: ProjectPath -> NameSegment -> ProjectPath Source #

prefix :: ProjectPath -> Path -> ProjectPath Source #

split :: ProjectPath -> Maybe (Split ProjectPath) Source #

unsplit :: Split ProjectPath -> ProjectPath Source #

toText :: ProjectPath -> Text Source #

Pathy ProjectPathNames Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

ascend :: ProjectPathNames -> Maybe ProjectPathNames Source #

descend :: ProjectPathNames -> NameSegment -> ProjectPathNames Source #

prefix :: ProjectPathNames -> Path -> ProjectPathNames Source #

split :: ProjectPathNames -> Maybe (Split ProjectPathNames) Source #

unsplit :: Split ProjectPathNames -> ProjectPathNames Source #

toText :: ProjectPathNames -> Text Source #

From ProjectPath Text Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

from :: ProjectPath -> Text #

From ProjectPathNames Text Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

from :: ProjectPathNames -> Text #

Functor (ProjectPathG proj) Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

fmap :: (a -> b) -> ProjectPathG proj a -> ProjectPathG proj b #

(<$) :: a -> ProjectPathG proj b -> ProjectPathG proj a #

Generic (ProjectPathG proj branch) Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Associated Types

type Rep (ProjectPathG proj branch)

Instance details

Defined in Unison.Codebase.ProjectPath

type Rep (ProjectPathG proj branch) = D1 ('MetaData "ProjectPathG" "Unison.Codebase.ProjectPath" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "ProjectPath" 'PrefixI 'True) (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 proj) :*: (S1 ('MetaSel ('Just "branch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 branch) :*: S1 ('MetaSel ('Just "absPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Absolute))))

Methods

from :: ProjectPathG proj branch -> Rep (ProjectPathG proj branch) x #

to :: Rep (ProjectPathG proj branch) x -> ProjectPathG proj branch #

(Show proj, Show branch) => Show (ProjectPathG proj branch) Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

showsPrec :: Int -> ProjectPathG proj branch -> ShowS #

show :: ProjectPathG proj branch -> String #

showList :: [ProjectPathG proj branch] -> ShowS #

(Eq proj, Eq branch) => Eq (ProjectPathG proj branch) Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

(==) :: ProjectPathG proj branch -> ProjectPathG proj branch -> Bool #

(/=) :: ProjectPathG proj branch -> ProjectPathG proj branch -> Bool #

(Ord proj, Ord branch) => Ord (ProjectPathG proj branch) Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

compare :: ProjectPathG proj branch -> ProjectPathG proj branch -> Ordering #

(<) :: ProjectPathG proj branch -> ProjectPathG proj branch -> Bool #

(<=) :: ProjectPathG proj branch -> ProjectPathG proj branch -> Bool #

(>) :: ProjectPathG proj branch -> ProjectPathG proj branch -> Bool #

(>=) :: ProjectPathG proj branch -> ProjectPathG proj branch -> Bool #

max :: ProjectPathG proj branch -> ProjectPathG proj branch -> ProjectPathG proj branch #

min :: ProjectPathG proj branch -> ProjectPathG proj branch -> ProjectPathG proj branch #

From (ProjectPathG () ProjectBranchName) Text Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

from :: ProjectPathG () ProjectBranchName -> Text #

type Rep (ProjectPathG proj branch) Source #

Instance details

Defined in Unison.Codebase.ProjectPath

type Rep (ProjectPathG proj branch) = D1 ('MetaData "ProjectPathG" "Unison.Codebase.ProjectPath" "unison-parser-typechecker-0.0.0-9Dzq7Hdutm9Hkedg7C7TJ1" 'False) (C1 ('MetaCons "ProjectPath" 'PrefixI 'True) (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 proj) :*: (S1 ('MetaSel ('Just "branch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 branch) :*: S1 ('MetaSel ('Just "absPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Absolute))))

type ProjectPathIds = ProjectPathG ProjectId ProjectBranchId Source #

type ProjectPathNames = ProjectPathG ProjectName ProjectBranchName Source #

type ProjectPath = ProjectPathG Project ProjectBranch Source #

fromProjectAndBranch :: ProjectAndBranch Project ProjectBranch -> Absolute -> ProjectPath Source #

projectBranchRoot :: ProjectAndBranch Project ProjectBranch -> ProjectPath Source #

toRoot :: ProjectPath -> ProjectPath Source #

Discard any path within the project and get the project's root

absPath_ :: forall p b f. Functor f => (Absolute -> f Absolute) -> ProjectPathG p b -> f (ProjectPathG p b) Source #

path_ :: forall p b f. Functor f => (Path -> f Path) -> ProjectPathG p b -> f (ProjectPathG p b) Source #

path :: ProjectPathG p b -> Path Source #

toProjectAndBranch :: ProjectPathG p b -> ProjectAndBranch p b Source #

projectAndBranch_ :: forall p b p' b' f. Functor f => (ProjectAndBranch p b -> f (ProjectAndBranch p' b')) -> ProjectPathG p b -> f (ProjectPathG p' b') Source #

toIds :: ProjectPath -> ProjectPathIds Source #

Project a project context into a project path of just IDs

toNames :: ProjectPath -> ProjectPathNames Source #

Project a project context into a project path of just names

projectPathParser :: Parser ProjectPathNames Source #

parseProjectPath :: Text -> Either Text ProjectPathNames Source #

Re-exports, this also helps with using dot-notation

data ProjectAndBranch a b #

A generic data structure that contains information about a project and a branch in that project.

Constructors

ProjectAndBranch
Fields project :: a branch :: b

Instances

Instances details

Bifoldable ProjectAndBranch

Instance details

Defined in Unison.Core.Project

Methods

bifold :: Monoid m => ProjectAndBranch m m -> m #

bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> ProjectAndBranch a b -> m #

bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> ProjectAndBranch a b -> c #

bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> ProjectAndBranch a b -> c #

Bifunctor ProjectAndBranch

Instance details

Defined in Unison.Core.Project

Methods

bimap :: (a -> b) -> (c -> d) -> ProjectAndBranch a c -> ProjectAndBranch b d #

first :: (a -> b) -> ProjectAndBranch a c -> ProjectAndBranch b c #

second :: (b -> c) -> ProjectAndBranch a b -> ProjectAndBranch a c #

Bitraversable ProjectAndBranch

Instance details

Defined in Unison.Core.Project

Methods

bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ProjectAndBranch a b -> f (ProjectAndBranch c d) #

TryFrom Text (ProjectAndBranch ProjectName ProjectBranchName)

Attempt to parse a project and branch name from a string where both are required.

Instance details

Defined in Unison.Project

Methods

tryFrom :: Text -> Either (TryFromException Text (ProjectAndBranch ProjectName ProjectBranchName)) (ProjectAndBranch ProjectName ProjectBranchName) #

TryFrom Text (ProjectAndBranch ProjectName (Maybe ProjectBranchName))

Instance details

Defined in Unison.Project

Methods

tryFrom :: Text -> Either (TryFromException Text (ProjectAndBranch ProjectName (Maybe ProjectBranchName))) (ProjectAndBranch ProjectName (Maybe ProjectBranchName)) #

TryFrom Text (ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))

Instance details

Defined in Unison.Project

Methods

tryFrom :: Text -> Either (TryFromException Text (ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))) (ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease)) #

TryFrom Text (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)

Instance details

Defined in Unison.Project

Methods

tryFrom :: Text -> Either (TryFromException Text (ProjectAndBranch (Maybe ProjectName) ProjectBranchName)) (ProjectAndBranch (Maybe ProjectName) ProjectBranchName) #

Functor (ProjectAndBranch a)

Instance details

Defined in Unison.Core.Project

Methods

fmap :: (a0 -> b) -> ProjectAndBranch a a0 -> ProjectAndBranch a b #

(<$) :: a0 -> ProjectAndBranch a b -> ProjectAndBranch a a0 #

Generic (ProjectAndBranch a b)

Instance details

Defined in Unison.Core.Project

Associated Types

type Rep (ProjectAndBranch a b)

Instance details

Defined in Unison.Core.Project

type Rep (ProjectAndBranch a b) = D1 ('MetaData "ProjectAndBranch" "Unison.Core.Project" "unison-core-0.0.0-1VWfQyRJkVMKYBxkNy6zmW" 'False) (C1 ('MetaCons "ProjectAndBranch" 'PrefixI 'True) (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "branch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

Methods

from :: ProjectAndBranch a b -> Rep (ProjectAndBranch a b) x #

to :: Rep (ProjectAndBranch a b) x -> ProjectAndBranch a b #

(Show a, Show b) => Show (ProjectAndBranch a b)

Instance details

Defined in Unison.Core.Project

Methods

showsPrec :: Int -> ProjectAndBranch a b -> ShowS #

show :: ProjectAndBranch a b -> String #

showList :: [ProjectAndBranch a b] -> ShowS #

(Eq a, Eq b) => Eq (ProjectAndBranch a b)

Instance details

Defined in Unison.Core.Project

Methods

(==) :: ProjectAndBranch a b -> ProjectAndBranch a b -> Bool #

(/=) :: ProjectAndBranch a b -> ProjectAndBranch a b -> Bool #

From (ProjectAndBranch ProjectName ProjectBranchName) Text

Instance details

Defined in Unison.Project

Methods

from :: ProjectAndBranch ProjectName ProjectBranchName -> Text #

From (ProjectAndBranch ProjectName (Maybe ProjectBranchName)) Text

project/branch syntax, where the branch is optional.

Instance details

Defined in Unison.Project

Methods

from :: ProjectAndBranch ProjectName (Maybe ProjectBranchName) -> Text #

From (ProjectAndBranch (Maybe ProjectName) ProjectBranchName) Text

project/branch syntax, where the project is optional. The branch can optionally be preceded by a forward slash.

Instance details

Defined in Unison.Project

Methods

from :: ProjectAndBranch (Maybe ProjectName) ProjectBranchName -> Text #

type Rep (ProjectAndBranch a b)

Instance details

Defined in Unison.Core.Project

type Rep (ProjectAndBranch a b) = D1 ('MetaData "ProjectAndBranch" "Unison.Core.Project" "unison-core-0.0.0-1VWfQyRJkVMKYBxkNy6zmW" 'False) (C1 ('MetaCons "ProjectAndBranch" 'PrefixI 'True) (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "branch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

A project.

Constructors

Project
Fields projectId :: !ProjectId name :: !ProjectName

Instances

Instances details

Generic Project

Instance details

Defined in U.Codebase.Sqlite.Project

Associated Types

type Rep Project

Instance details

Defined in U.Codebase.Sqlite.Project

type Rep Project = D1 ('MetaData "Project" "U.Codebase.Sqlite.Project" "unison-codebase-sqlite-0.0.0-8z668DVoopd5Hd4AwRCMd4" 'False) (C1 ('MetaCons "Project" 'PrefixI 'True) (S1 ('MetaSel ('Just "projectId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectId) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectName)))

Methods

from :: Project -> Rep Project x #

to :: Rep Project x -> Project #

Instance details

Defined in U.Codebase.Sqlite.Project

Methods

showsPrec :: Int -> Project -> ShowS #

show :: Project -> String #

showList :: [Project] -> ShowS #

Instance details

Defined in U.Codebase.Sqlite.Project

Methods

(==) :: Project -> Project -> Bool #

(/=) :: Project -> Project -> Bool #

FromRow Project

Instance details

Defined in U.Codebase.Sqlite.Project

Methods

fromRow :: RowParser Project #

Instance details

Defined in U.Codebase.Sqlite.Project

Methods

toRow :: Project -> [SQLData] #

Pathy ProjectPath Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

ascend :: ProjectPath -> Maybe ProjectPath Source #

descend :: ProjectPath -> NameSegment -> ProjectPath Source #

prefix :: ProjectPath -> Path -> ProjectPath Source #

split :: ProjectPath -> Maybe (Split ProjectPath) Source #

unsplit :: Split ProjectPath -> ProjectPath Source #

toText :: ProjectPath -> Text Source #

From ProjectPath Text Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

from :: ProjectPath -> Text #

type Rep Project

Instance details

Defined in U.Codebase.Sqlite.Project

type Rep Project = D1 ('MetaData "Project" "U.Codebase.Sqlite.Project" "unison-codebase-sqlite-0.0.0-8z668DVoopd5Hd4AwRCMd4" 'False) (C1 ('MetaCons "Project" 'PrefixI 'True) (S1 ('MetaSel ('Just "projectId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectId) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectName)))

data ProjectBranch #

A project branch.

Constructors

ProjectBranch
Fields projectId :: !ProjectId branchId :: !ProjectBranchId name :: !ProjectBranchName parentBranchId :: !(Maybe ProjectBranchId) isMerge :: !Bool isUpdate :: !Bool isUpgrade :: !Bool

Instances

Instances details

Generic ProjectBranch

Instance details

Defined in U.Codebase.Sqlite.ProjectBranch

Associated Types

type Rep ProjectBranch

Instance details

Defined in U.Codebase.Sqlite.ProjectBranch

type Rep ProjectBranch = D1 ('MetaData "ProjectBranch" "U.Codebase.Sqlite.ProjectBranch" "unison-codebase-sqlite-0.0.0-8z668DVoopd5Hd4AwRCMd4" 'False) (C1 ('MetaCons "ProjectBranch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "projectId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectId) :*: (S1 ('MetaSel ('Just "branchId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectBranchId) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectBranchName))) :*: ((S1 ('MetaSel ('Just "parentBranchId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ProjectBranchId)) :*: S1 ('MetaSel ('Just "isMerge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "isUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "isUpgrade") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))))

Methods

from :: ProjectBranch -> Rep ProjectBranch x #

to :: Rep ProjectBranch x -> ProjectBranch #

Show ProjectBranch

Instance details

Defined in U.Codebase.Sqlite.ProjectBranch

Methods

showsPrec :: Int -> ProjectBranch -> ShowS #

show :: ProjectBranch -> String #

showList :: [ProjectBranch] -> ShowS #

Eq ProjectBranch

Instance details

Defined in U.Codebase.Sqlite.ProjectBranch

Methods

(==) :: ProjectBranch -> ProjectBranch -> Bool #

(/=) :: ProjectBranch -> ProjectBranch -> Bool #

Pathy ProjectPath Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

ascend :: ProjectPath -> Maybe ProjectPath Source #

descend :: ProjectPath -> NameSegment -> ProjectPath Source #

prefix :: ProjectPath -> Path -> ProjectPath Source #

split :: ProjectPath -> Maybe (Split ProjectPath) Source #

unsplit :: Split ProjectPath -> ProjectPath Source #

toText :: ProjectPath -> Text Source #

From ProjectPath Text Source #

Instance details

Defined in Unison.Codebase.ProjectPath

Methods

from :: ProjectPath -> Text #

type Rep ProjectBranch

Instance details

Defined in U.Codebase.Sqlite.ProjectBranch

type Rep ProjectBranch = D1 ('MetaData "ProjectBranch" "U.Codebase.Sqlite.ProjectBranch" "unison-codebase-sqlite-0.0.0-8z668DVoopd5Hd4AwRCMd4" 'False) (C1 ('MetaCons "ProjectBranch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "projectId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectId) :*: (S1 ('MetaSel ('Just "branchId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectBranchId) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProjectBranchName))) :*: ((S1 ('MetaSel ('Just "parentBranchId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe ProjectBranchId)) :*: S1 ('MetaSel ('Just "isMerge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "isUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "isUpgrade") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))))