Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Codebase.SqliteCodebase.Branch.Dependencies

Documentation

type Branches m = [(CausalHash, m (Branch m))] Source #

data Dependencies Source #

Constructors

Dependencies
Fields patches :: Set PatchHash terms :: Set Hash decls :: Set Hash

Instances

Instances details

Monoid Dependencies Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods mempty :: Dependencies # mappend :: Dependencies -> Dependencies -> Dependencies # mconcat :: [Dependencies] -> Dependencies #
Semigroup Dependencies Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods (<>) :: Dependencies -> Dependencies -> Dependencies # sconcat :: NonEmpty Dependencies -> Dependencies # stimes :: Integral b => b -> Dependencies -> Dependencies #
Generic Dependencies Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Associated Types type Rep Dependencies :: Type -> Type # Methods from :: Dependencies -> Rep Dependencies x # to :: Rep Dependencies x -> Dependencies #
Show Dependencies Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods showsPrec :: Int -> Dependencies -> ShowS # show :: Dependencies -> String # showList :: [Dependencies] -> ShowS #
type Rep Dependencies Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies type Rep Dependencies = D1 ('MetaData "Dependencies" "Unison.Codebase.SqliteCodebase.Branch.Dependencies" "unison-parser-typechecker-0.0.0-KNkVGbTXlis2lnVjsRIJUx" 'False) (C1 ('MetaCons "Dependencies" 'PrefixI 'True) (S1 ('MetaSel ('Just "patches") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set PatchHash)) :: (S1 ('MetaSel ('Just "terms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Hash)) :: S1 ('MetaSel ('Just "decls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Hash)))))

data Dependencies' Source #

Constructors

Dependencies'
Fields patches' :: [PatchHash] terms' :: [Hash] decls' :: [Hash]

Instances

Instances details

Monoid Dependencies' Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods mempty :: Dependencies' # mappend :: Dependencies' -> Dependencies' -> Dependencies' # mconcat :: [Dependencies'] -> Dependencies' #
Semigroup Dependencies' Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods (<>) :: Dependencies' -> Dependencies' -> Dependencies' # sconcat :: NonEmpty Dependencies' -> Dependencies' # stimes :: Integral b => b -> Dependencies' -> Dependencies' #
Generic Dependencies' Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Associated Types type Rep Dependencies' :: Type -> Type # Methods from :: Dependencies' -> Rep Dependencies' x # to :: Rep Dependencies' x -> Dependencies' #
Show Dependencies' Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods showsPrec :: Int -> Dependencies' -> ShowS # show :: Dependencies' -> String # showList :: [Dependencies'] -> ShowS #
Eq Dependencies' Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies Methods (==) :: Dependencies' -> Dependencies' -> Bool # (/=) :: Dependencies' -> Dependencies' -> Bool #
type Rep Dependencies' Source #
Instance details Defined in Unison.Codebase.SqliteCodebase.Branch.Dependencies type Rep Dependencies' = D1 ('MetaData "Dependencies'" "Unison.Codebase.SqliteCodebase.Branch.Dependencies" "unison-parser-typechecker-0.0.0-KNkVGbTXlis2lnVjsRIJUx" 'False) (C1 ('MetaCons "Dependencies'" 'PrefixI 'True) (S1 ('MetaSel ('Just "patches'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PatchHash]) :: (S1 ('MetaSel ('Just "terms'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Hash]) :: S1 ('MetaSel ('Just "decls'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Hash]))))

to' :: Dependencies -> Dependencies' Source #

fromBranch :: Applicative m => Branch m -> (Branches m, Dependencies) Source #

fromBranch0 :: Applicative m => Branch0 m -> (Branches m, Dependencies) Source #