Argo.Internal.Type.Permission

Documentation

data Permission

Constructors

Allow

Forbid

Instances

Show Permission

Defined in Argo.Internal.Type.Permission

Methods

showsPrec :: Int -> Permission -> ShowS

show :: Permission -> String

showList :: [Permission] -> ShowS

NFData Permission

Defined in Argo.Internal.Type.Permission

Methods

rnf :: Permission -> ()

Eq Permission

Defined in Argo.Internal.Type.Permission

Methods

(==) :: Permission -> Permission -> Bool

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

Lift Permission

Defined in Argo.Internal.Type.Permission

Methods

lift :: Quote m => Permission -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => Permission -> Code m Permission

toBool :: Permission -> Bool