Safe Haskell	Safe-Inferred
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_ :: Lens' (ProjectPathG p b) Absolute
path_ :: Lens' (ProjectPathG p b) Path
path :: ProjectPathG p b -> Path
toProjectAndBranch :: ProjectPathG p b -> ProjectAndBranch p b
projectAndBranch_ :: Lens (ProjectPathG p b) (ProjectPathG p' b') (ProjectAndBranch p b) (ProjectAndBranch 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)
}

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 -> Relative -> 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 -> Relative -> 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) :: Type -> Type # 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-8PuoNWnGNyC8ffAZv1fPhx" '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_ :: Lens' (ProjectPathG p b) Absolute Source #

path_ :: Lens' (ProjectPathG p b) Path Source #

path :: ProjectPathG p b -> Path Source #

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

projectAndBranch_ :: Lens (ProjectPathG p b) (ProjectPathG p' b') (ProjectAndBranch p b) (ProjectAndBranch 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 (Maybe ProjectBranchNameOrLatestRelease))
Instance details Defined in Unison.Project Methods tryFrom :: Text -> Either (TryFromException Text (ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease))) (ProjectAndBranch ProjectName (Maybe ProjectBranchNameOrLatestRelease)) #
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) :: Type -> Type # 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 #
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-8e0MPMF2AOJJ70xuFuIxkC" 'False) (C1 ('MetaCons "ProjectAndBranch" 'PrefixI 'True) (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "branch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

data Project #

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 :: Type -> Type # Methods from :: Project -> Rep Project x # to :: Rep Project x -> Project #
Show Project
Instance details Defined in U.Codebase.Sqlite.Project Methods showsPrec :: Int -> Project -> ShowS # show :: Project -> String # showList :: [Project] -> ShowS #
Eq Project
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 #
ToRow 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 -> Relative -> 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-EMsM4VmSIlC8jsclwPCYAK" '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)

Instances

Instances details

Generic ProjectBranch
Instance details Defined in U.Codebase.Sqlite.ProjectBranch Associated Types type Rep ProjectBranch :: Type -> Type # 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 #
FromRow ProjectBranch
Instance details Defined in U.Codebase.Sqlite.ProjectBranch Methods fromRow :: RowParser ProjectBranch #
ToRow ProjectBranch
Instance details Defined in U.Codebase.Sqlite.ProjectBranch Methods toRow :: ProjectBranch -> [SQLData] #
Pathy ProjectPath Source #
Instance details Defined in Unison.Codebase.ProjectPath Methods ascend :: ProjectPath -> Maybe ProjectPath Source # descend :: ProjectPath -> NameSegment -> ProjectPath Source # prefix :: ProjectPath -> Relative -> 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-EMsM4VmSIlC8jsclwPCYAK" '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)))))