Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data Permission Source #
Instances
Show Permission Source # | |
Defined in Argo.Internal.Type.Permission showsPrec :: Int -> Permission -> ShowS # show :: Permission -> String # showList :: [Permission] -> ShowS # | |
NFData Permission Source # | |
Defined in Argo.Internal.Type.Permission rnf :: Permission -> () # | |
Eq Permission Source # | |
Defined in Argo.Internal.Type.Permission (==) :: Permission -> Permission -> Bool # (/=) :: Permission -> Permission -> Bool # | |
Lift Permission Source # | |
Defined in Argo.Internal.Type.Permission lift :: Quote m => Permission -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Permission -> Code m Permission # |
toBool :: Permission -> Bool Source #