Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Core.Project

Description

Project-related types.

A larger API, including orphan instances for parsing from Text, is available in Unison.Project. Here, we just define the types, which are shared among the low-level database layer (which assumes without verifying that project names and such are syntactically valid) and the higher-level project manipulation exposed by UCM.

Synopsis

newtype ProjectName = UnsafeProjectName Text
newtype ProjectBranchName = UnsafeProjectBranchName Text
data ProjectAndBranch a b = ProjectAndBranch {
- project :: a
- branch :: b
}

Documentation

newtype ProjectName Source #

The name of a project.

Constructors

UnsafeProjectName Text

Instances

Instances details

Generic ProjectName Source #
Instance details Defined in Unison.Core.Project Associated Types type Rep ProjectName :: Type -> Type # Methods from :: ProjectName -> Rep ProjectName x # to :: Rep ProjectName x -> ProjectName #
Show ProjectName Source #
Instance details Defined in Unison.Core.Project Methods showsPrec :: Int -> ProjectName -> ShowS # show :: ProjectName -> String # showList :: [ProjectName] -> ShowS #
Eq ProjectName Source #
Instance details Defined in Unison.Core.Project Methods (==) :: ProjectName -> ProjectName -> Bool # (/=) :: ProjectName -> ProjectName -> Bool #
Ord ProjectName Source #
Instance details Defined in Unison.Core.Project Methods compare :: ProjectName -> ProjectName -> Ordering # (<) :: ProjectName -> ProjectName -> Bool # (<=) :: ProjectName -> ProjectName -> Bool # (>) :: ProjectName -> ProjectName -> Bool # (>=) :: ProjectName -> ProjectName -> Bool # max :: ProjectName -> ProjectName -> ProjectName # min :: ProjectName -> ProjectName -> ProjectName #
type Rep ProjectName Source #
Instance details Defined in Unison.Core.Project type Rep ProjectName = D1 ('MetaData "ProjectName" "Unison.Core.Project" "unison-core-0.0.0-7TTEaGpY3e79hYDTKjX5dL" 'True) (C1 ('MetaCons "UnsafeProjectName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype ProjectBranchName Source #

The name of a branch of a project.

Constructors

UnsafeProjectBranchName Text

Instances

Instances details

Generic ProjectBranchName Source #
Instance details Defined in Unison.Core.Project Associated Types type Rep ProjectBranchName :: Type -> Type # Methods from :: ProjectBranchName -> Rep ProjectBranchName x # to :: Rep ProjectBranchName x -> ProjectBranchName #
Show ProjectBranchName Source #
Instance details Defined in Unison.Core.Project Methods showsPrec :: Int -> ProjectBranchName -> ShowS # show :: ProjectBranchName -> String # showList :: [ProjectBranchName] -> ShowS #
Eq ProjectBranchName Source #
Instance details Defined in Unison.Core.Project Methods (==) :: ProjectBranchName -> ProjectBranchName -> Bool # (/=) :: ProjectBranchName -> ProjectBranchName -> Bool #
Ord ProjectBranchName Source #
Instance details Defined in Unison.Core.Project Methods compare :: ProjectBranchName -> ProjectBranchName -> Ordering # (<) :: ProjectBranchName -> ProjectBranchName -> Bool # (<=) :: ProjectBranchName -> ProjectBranchName -> Bool # (>) :: ProjectBranchName -> ProjectBranchName -> Bool # (>=) :: ProjectBranchName -> ProjectBranchName -> Bool # max :: ProjectBranchName -> ProjectBranchName -> ProjectBranchName # min :: ProjectBranchName -> ProjectBranchName -> ProjectBranchName #
type Rep ProjectBranchName Source #
Instance details Defined in Unison.Core.Project type Rep ProjectBranchName = D1 ('MetaData "ProjectBranchName" "Unison.Core.Project" "unison-core-0.0.0-7TTEaGpY3e79hYDTKjX5dL" 'True) (C1 ('MetaCons "UnsafeProjectBranchName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ProjectAndBranch a b Source #

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 Source #
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 Source #
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 Source #
Instance details Defined in Unison.Core.Project Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> ProjectAndBranch a b -> f (ProjectAndBranch c d) #
Functor (ProjectAndBranch a) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Unison.Core.Project type Rep (ProjectAndBranch a b) = D1 ('MetaData "ProjectAndBranch" "Unison.Core.Project" "unison-core-0.0.0-7TTEaGpY3e79hYDTKjX5dL" 'False) (C1 ('MetaCons "ProjectAndBranch" 'PrefixI 'True) (S1 ('MetaSel ('Just "project") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "branch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))