| Safe Haskell | None |
|---|---|
| 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 {}
Documentation
newtype ProjectName Source #
The name of a project.
Constructors
| UnsafeProjectName Text |
Instances
newtype ProjectBranchName Source #
The name of a branch of a project.
Constructors
| UnsafeProjectBranchName Text |
Instances
| Generic ProjectBranchName Source # | |||||
Defined in Unison.Core.Project Associated Types
Methods from :: ProjectBranchName -> Rep ProjectBranchName x # to :: Rep ProjectBranchName x -> ProjectBranchName # | |||||
| Show ProjectBranchName Source # | |||||
Defined in Unison.Core.Project Methods showsPrec :: Int -> ProjectBranchName -> ShowS # show :: ProjectBranchName -> String # showList :: [ProjectBranchName] -> ShowS # | |||||
| Eq ProjectBranchName Source # | |||||
Defined in Unison.Core.Project Methods (==) :: ProjectBranchName -> ProjectBranchName -> Bool # (/=) :: ProjectBranchName -> ProjectBranchName -> Bool # | |||||
| Ord ProjectBranchName Source # | |||||
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 # | |||||
Defined in Unison.Core.Project type Rep ProjectBranchName = D1 ('MetaData "ProjectBranchName" "Unison.Core.Project" "unison-core-0.0.0-1VWfQyRJkVMKYBxkNy6zmW" '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 | |
Instances
| Bifoldable ProjectAndBranch Source # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
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 # | |||||
Defined in Unison.Core.Project Associated Types
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 # | |||||
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 # | |||||
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 # | |||||
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))) | |||||