PiHoole

Documentation

newtype Repo

Constructors

Repo FilePath

Instances

Eq Repo

Methods

(==) :: Repo -> Repo -> Bool

(/=) :: Repo -> Repo -> Bool

Ord Repo

Methods

compare :: Repo -> Repo -> Ordering

(<) :: Repo -> Repo -> Bool

(<=) :: Repo -> Repo -> Bool

(>) :: Repo -> Repo -> Bool

(>=) :: Repo -> Repo -> Bool

max :: Repo -> Repo -> Repo

min :: Repo -> Repo -> Repo

Show Repo

Methods

showsPrec :: Int -> Repo -> ShowS

show :: Repo -> String

showList :: [Repo] -> ShowS

IsString Repo

Methods

fromString :: String -> Repo

Generic Repo

Associated Types

type Rep Repo :: * -> *

Methods

from :: Repo -> Rep Repo x

to :: Rep Repo x -> Repo

ToJSON Repo

Methods

toJSON :: Repo -> Value

toEncoding :: Repo -> Encoding

toJSONList :: [Repo] -> Value

toEncodingList :: [Repo] -> Encoding

FromJSON Repo

Methods

parseJSON :: Value -> Parser Repo

parseJSONList :: Value -> Parser [Repo]

FromJSONKey Repo

Methods

fromJSONKey :: FromJSONKeyFunction Repo

fromJSONKeyList :: FromJSONKeyFunction [Repo]

type Rep Repo

type Rep Repo = D1 * (MetaData "Repo" "PiHoole" "pi-hoole-0.1.0.0-3JXQIBKV9zsGWAgy1oZh4X" True) (C1 * (MetaCons "Repo" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * FilePath)))

newtype Branch

Constructors

Branch

Fields

• unBranch :: Text

Instances

Eq Branch

Methods

(==) :: Branch -> Branch -> Bool

(/=) :: Branch -> Branch -> Bool

Ord Branch

Methods

compare :: Branch -> Branch -> Ordering

(<) :: Branch -> Branch -> Bool

(<=) :: Branch -> Branch -> Bool

(>) :: Branch -> Branch -> Bool

(>=) :: Branch -> Branch -> Bool

max :: Branch -> Branch -> Branch

min :: Branch -> Branch -> Branch

Show Branch

Methods

showsPrec :: Int -> Branch -> ShowS

show :: Branch -> String

showList :: [Branch] -> ShowS

IsString Branch

Methods

fromString :: String -> Branch

Generic Branch

Associated Types

type Rep Branch :: * -> *

Methods

from :: Branch -> Rep Branch x

to :: Rep Branch x -> Branch

ToJSON Branch

Methods

toJSON :: Branch -> Value

toEncoding :: Branch -> Encoding

toJSONList :: [Branch] -> Value

toEncodingList :: [Branch] -> Encoding

FromJSON Branch

Methods

parseJSON :: Value -> Parser Branch

parseJSONList :: Value -> Parser [Branch]

type Rep Branch

type Rep Branch = D1 * (MetaData "Branch" "PiHoole" "pi-hoole-0.1.0.0-3JXQIBKV9zsGWAgy1oZh4X" True) (C1 * (MetaCons "Branch" PrefixI True) (S1 * (MetaSel (Just Symbol "unBranch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text)))

data Role

Constructors

User UserName

Group GroupName

Anon

Instances

Eq Role

Methods

(==) :: Role -> Role -> Bool

(/=) :: Role -> Role -> Bool

Ord Role

Methods

compare :: Role -> Role -> Ordering

(<) :: Role -> Role -> Bool

(<=) :: Role -> Role -> Bool

(>) :: Role -> Role -> Bool

(>=) :: Role -> Role -> Bool

max :: Role -> Role -> Role

min :: Role -> Role -> Role

Show Role

Methods

showsPrec :: Int -> Role -> ShowS

show :: Role -> String

showList :: [Role] -> ShowS

ToJSON Role

Methods

toJSON :: Role -> Value

toEncoding :: Role -> Encoding

toJSONList :: [Role] -> Value

toEncodingList :: [Role] -> Encoding

ToJSONKey Role

Methods

toJSONKey :: ToJSONKeyFunction Role

toJSONKeyList :: ToJSONKeyFunction [Role]

FromJSON Role

Methods

parseJSON :: Value -> Parser Role

parseJSONList :: Value -> Parser [Role]

FromJSONKey Role

Methods

fromJSONKey :: FromJSONKeyFunction Role

fromJSONKeyList :: FromJSONKeyFunction [Role]

newtype UserName

Constructors

UserName Text

Instances

Eq UserName

Methods

(==) :: UserName -> UserName -> Bool

(/=) :: UserName -> UserName -> Bool

Ord UserName

Methods

compare :: UserName -> UserName -> Ordering

(<) :: UserName -> UserName -> Bool

(<=) :: UserName -> UserName -> Bool

(>) :: UserName -> UserName -> Bool

(>=) :: UserName -> UserName -> Bool

max :: UserName -> UserName -> UserName

min :: UserName -> UserName -> UserName

Show UserName

Methods

showsPrec :: Int -> UserName -> ShowS

show :: UserName -> String

showList :: [UserName] -> ShowS

IsString UserName

Methods

fromString :: String -> UserName

ToJSON UserName

Methods

toJSON :: UserName -> Value

toEncoding :: UserName -> Encoding

toJSONList :: [UserName] -> Value

toEncodingList :: [UserName] -> Encoding

FromJSON UserName

Methods

parseJSON :: Value -> Parser UserName

parseJSONList :: Value -> Parser [UserName]

parseUserName :: Text -> Maybe UserName

newtype GroupName

Constructors

GroupName Text

Instances

Eq GroupName

Methods

(==) :: GroupName -> GroupName -> Bool

(/=) :: GroupName -> GroupName -> Bool

Ord GroupName

Methods

compare :: GroupName -> GroupName -> Ordering

(<) :: GroupName -> GroupName -> Bool

(<=) :: GroupName -> GroupName -> Bool

(>) :: GroupName -> GroupName -> Bool

(>=) :: GroupName -> GroupName -> Bool

max :: GroupName -> GroupName -> GroupName

min :: GroupName -> GroupName -> GroupName

Show GroupName

Methods

showsPrec :: Int -> GroupName -> ShowS

show :: GroupName -> String

showList :: [GroupName] -> ShowS

IsString GroupName

Methods

fromString :: String -> GroupName

ToJSON GroupName

Methods

toJSON :: GroupName -> Value

toEncoding :: GroupName -> Encoding

toJSONList :: [GroupName] -> Value

toEncodingList :: [GroupName] -> Encoding

FromJSON GroupName

Methods

parseJSON :: Value -> Parser GroupName

parseJSONList :: Value -> Parser [GroupName]

FromJSONKey GroupName

Methods

fromJSONKey :: FromJSONKeyFunction GroupName

fromJSONKeyList :: FromJSONKeyFunction [GroupName]

parseGroupName :: Text -> Maybe GroupName

data Configuration

Constructors

Configuration

Fields

• groups :: Map GroupName (Set UserName)
• repositories :: Map Repo (Map Role Privilege)

Instances

Show Configuration

Methods

showsPrec :: Int -> Configuration -> ShowS

show :: Configuration -> String

showList :: [Configuration] -> ShowS

Generic Configuration

Associated Types

type Rep Configuration :: * -> *

Methods

from :: Configuration -> Rep Configuration x

to :: Rep Configuration x -> Configuration

FromJSON Configuration

Methods

parseJSON :: Value -> Parser Configuration

parseJSONList :: Value -> Parser [Configuration]

type Rep Configuration

type Rep Configuration = D1 * (MetaData "Configuration" "PiHoole" "pi-hoole-0.1.0.0-3JXQIBKV9zsGWAgy1oZh4X" False) (C1 * (MetaCons "Configuration" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "groups") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map GroupName (Set UserName)))) (S1 * (MetaSel (Just Symbol "repositories") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map Repo (Map Role Privilege))))))

data Pijul

Constructors

Pijul Repo Action

Instances

Show Pijul

Methods

showsPrec :: Int -> Pijul -> ShowS

show :: Pijul -> String

showList :: [Pijul] -> ShowS

data Action

Constructors

Log Branch

Apply Branch

Patch Text

Instances

Show Action

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

parsePijul :: Text -> Maybe Pijul

data Privilege

Constructors

Privilege

Fields

• read :: Scope
• write :: Scope

Instances

Show Privilege

Methods

showsPrec :: Int -> Privilege -> ShowS

show :: Privilege -> String

showList :: [Privilege] -> ShowS

ToJSON Privilege

Methods

toJSON :: Privilege -> Value

toEncoding :: Privilege -> Encoding

toJSONList :: [Privilege] -> Value

toEncodingList :: [Privilege] -> Encoding

FromJSON Privilege

Methods

parseJSON :: Value -> Parser Privilege

parseJSONList :: Value -> Parser [Privilege]

privilegeLe :: Privilege -> Privilege -> Bool

requires :: Action -> Privilege

checkPrivilege :: UserName -> Pijul -> Configuration -> Bool

callPijul :: Pijul -> IO ()

recordPijul :: Pijul -> IO String