| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.ProjectReflog
Synopsis
- data Entry project branch causal = Entry {
- project :: project
- branch :: branch
- time :: UTCTime
- fromRootCausalHash :: Maybe causal
- toRootCausalHash :: causal
- reason :: Text
- project_ :: forall project branch causal project' f. Functor f => (project -> f project') -> Entry project branch causal -> f (Entry project' branch causal)
- branch_ :: forall project branch causal branch' f. Functor f => (branch -> f branch') -> Entry project branch causal -> f (Entry project branch' causal)
- projectAndBranch_ :: forall project branch causal project' branch' f. Functor f => ((project, branch) -> f (project', branch')) -> Entry project branch causal -> f (Entry project' branch' causal)
Documentation
data Entry project branch causal Source #
Constructors
| Entry | |
Fields
| |
Instances
| Functor (Entry project branch) Source # | |
| Foldable (Entry project branch) Source # | |
Defined in U.Codebase.Sqlite.ProjectReflog Methods fold :: Monoid m => Entry project branch m -> m # foldMap :: Monoid m => (a -> m) -> Entry project branch a -> m # foldMap' :: Monoid m => (a -> m) -> Entry project branch a -> m # foldr :: (a -> b -> b) -> b -> Entry project branch a -> b # foldr' :: (a -> b -> b) -> b -> Entry project branch a -> b # foldl :: (b -> a -> b) -> b -> Entry project branch a -> b # foldl' :: (b -> a -> b) -> b -> Entry project branch a -> b # foldr1 :: (a -> a -> a) -> Entry project branch a -> a # foldl1 :: (a -> a -> a) -> Entry project branch a -> a # toList :: Entry project branch a -> [a] # null :: Entry project branch a -> Bool # length :: Entry project branch a -> Int # elem :: Eq a => a -> Entry project branch a -> Bool # maximum :: Ord a => Entry project branch a -> a # minimum :: Ord a => Entry project branch a -> a # | |
| Traversable (Entry project branch) Source # | |
Defined in U.Codebase.Sqlite.ProjectReflog Methods traverse :: Applicative f => (a -> f b) -> Entry project branch a -> f (Entry project branch b) # sequenceA :: Applicative f => Entry project branch (f a) -> f (Entry project branch a) # mapM :: Monad m => (a -> m b) -> Entry project branch a -> m (Entry project branch b) # sequence :: Monad m => Entry project branch (m a) -> m (Entry project branch a) # | |
| (Show project, Show branch, Show causal) => Show (Entry project branch causal) Source # | |
| (Eq project, Eq branch, Eq causal) => Eq (Entry project branch causal) Source # | |
| FromRow (Entry ProjectId ProjectBranchId CausalHashId) Source # | |
Defined in U.Codebase.Sqlite.ProjectReflog Methods fromRow :: RowParser (Entry ProjectId ProjectBranchId CausalHashId) # | |
| ToRow (Entry ProjectId ProjectBranchId CausalHashId) Source # | |
Defined in U.Codebase.Sqlite.ProjectReflog Methods toRow :: Entry ProjectId ProjectBranchId CausalHashId -> [SQLData] # | |
project_ :: forall project branch causal project' f. Functor f => (project -> f project') -> Entry project branch causal -> f (Entry project' branch causal) Source #