dclabel 0.0.5 → 0.0.6

raw patch · 4 files changed

+19/−6 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ DCLabel.Core: class CreatePrincipal s

+ DCLabel.Core: instance CreatePrincipal ByteString

+ DCLabel.Core: instance CreatePrincipal String

+ DCLabel.NanoEDSL: instance IsString Principal

+ DCLabel.Safe: priv :: TCBPriv -> Component

- DCLabel.Core: principal :: ByteString -> Principal

+ DCLabel.Core: principal :: CreatePrincipal s => s -> Principal

- DCLabel.Safe: principal :: ByteString -> Principal

+ DCLabel.Safe: principal :: CreatePrincipal s => s -> Principal

Files

DCLabel/Core.hs +8/−3
DCLabel/NanoEDSL.hs +8/−0
DCLabel/Safe.hs +1/−1
dclabel.cabal +2/−2

DCLabel/Core.hs view

@@ -74,7 +74,7 @@                       -- ** DC Components                     , DCLabel(..)                       -- * Principals-                    , Principal(..), principal+                    , Principal(..), CreatePrincipal(..)                       -- * Privileges 		      -- $privs                     , TCBPriv(..), Priv@@ -356,9 +356,14 @@                   deriving (Eq, Ord, Show, Read)  -- | Generates a principal from an string. -principal :: B.ByteString -> Principal -principal = MkPrincipal +class CreatePrincipal s where+  principal :: s -> Principal +instance CreatePrincipal B.ByteString where+  principal = MkPrincipal++instance CreatePrincipal String where+  principal = MkPrincipal . C.pack  -- -- Privileges

DCLabel/NanoEDSL.hs view

@@ -75,6 +75,7 @@ import DCLabel.Core import qualified Data.ByteString as B import qualified Data.ByteString.Char8 as C+import Data.String  infixl 7 .\/. infixl 6 ./\.@@ -226,3 +227,10 @@  instance NewPriv String where   newPriv p = singleton p++--+-- Instances of IsString+--++instance IsString Principal where+  fromString = principal . C.pack

DCLabel/Safe.hs view

@@ -21,7 +21,7 @@                     , (<>), (><)                     , newDC                       -- * Privilegies -                    , TCBPriv, Priv+                    , TCBPriv, priv, Priv                     , canflowto_p                     , delegatePriv                     , canDelegate, owns

dclabel.cabal view

@@ -1,5 +1,5 @@ Name:           dclabel-Version:        0.0.5+Version:        0.0.6 build-type:     Simple License:        BSD3 License-File:   LICENSE@@ -32,7 +32,7 @@  Source-repository head   Type:     git-  Location: http://www.scs.stanford.edu/~deian/dclabels/dclabel.git+  Location: http://www.github.com/scslab/dclabel.git   Library