40ecf58d4b
This does not change the overall license of the git-annex program, which was already AGPL due to a number of sources files being AGPL already. Legally speaking, I'm adding a new license under which these files are now available; I already released their current contents under the GPL license. Now they're dual licensed GPL and AGPL. However, I intend for all my future changes to these files to only be released under the AGPL license, and I won't be tracking the dual licensing status, so I'm simply changing the license statement to say it's AGPL. (In some cases, others wrote parts of the code of a file and released it under the GPL; but in all cases I have contributed a significant portion of the code in each file and it's that code that is getting the AGPL license; the GPL license of other contributors allows combining with AGPL code.)
60 lines
1.5 KiB
Haskell
60 lines
1.5 KiB
Haskell
{- types for metadata based branch views
|
|
-
|
|
- Copyright 2014 Joey Hess <id@joeyh.name>
|
|
-
|
|
- Licensed under the GNU AGPL version 3 or higher.
|
|
-}
|
|
|
|
module Types.View where
|
|
|
|
import Annex.Common
|
|
import Types.MetaData
|
|
import Utility.QuickCheck
|
|
import qualified Git
|
|
|
|
import qualified Data.Set as S
|
|
|
|
{- A view is a list of fields with filters on their allowed values,
|
|
- which are applied to files in a parent git branch. -}
|
|
data View = View
|
|
{ viewParentBranch :: Git.Branch
|
|
, viewComponents :: [ViewComponent]
|
|
}
|
|
deriving (Eq, Read, Show)
|
|
|
|
instance Arbitrary View where
|
|
arbitrary = View (Git.Ref "master")
|
|
<$> resize 10 (listOf arbitrary)
|
|
|
|
data ViewComponent = ViewComponent
|
|
{ viewField :: MetaField
|
|
, viewFilter :: ViewFilter
|
|
, viewVisible :: Bool
|
|
}
|
|
deriving (Eq, Read, Show)
|
|
|
|
instance Arbitrary ViewComponent where
|
|
arbitrary = ViewComponent <$> arbitrary <*> arbitrary <*> arbitrary
|
|
|
|
data ViewFilter
|
|
= FilterValues (S.Set MetaValue)
|
|
| FilterGlob String
|
|
| ExcludeValues (S.Set MetaValue)
|
|
deriving (Eq, Read, Show)
|
|
|
|
instance Arbitrary ViewFilter where
|
|
arbitrary = do
|
|
s <- S.fromList <$> resize 10 (listOf arbitrary)
|
|
ifM arbitrary
|
|
( return (FilterValues s)
|
|
, return (ExcludeValues s)
|
|
)
|
|
|
|
mkViewComponent :: MetaField -> ViewFilter -> ViewComponent
|
|
mkViewComponent f vf = ViewComponent f vf (multiValue vf)
|
|
|
|
{- Can a ViewFilter match multiple different MetaValues? -}
|
|
multiValue :: ViewFilter -> Bool
|
|
multiValue (FilterValues s) = S.size s > 1
|
|
multiValue (FilterGlob _) = True
|
|
multiValue (ExcludeValues _) = False
|