Argo.Type.Permission

Documentation

data Permission

Constructors

Allow

Forbid

Instances

Eq Permission

Defined in Argo.Type.Permission

Methods

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

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

Show Permission

Defined in Argo.Type.Permission

Methods

showsPrec :: Int -> Permission -> ShowS

show :: Permission -> String

showList :: [Permission] -> ShowS

Generic Permission

Defined in Argo.Type.Permission

Associated Types

type Rep Permission :: Type -> Type

Methods

from :: Permission -> Rep Permission x

to :: Rep Permission x -> Permission

NFData Permission

Defined in Argo.Type.Permission

Methods

rnf :: Permission -> ()

Lift Permission

Defined in Argo.Type.Permission

Methods

lift :: Permission -> Q Exp

liftTyped :: Permission -> Q (TExp Permission)

type Rep Permission

Defined in Argo.Type.Permission

type Rep Permission = D1 ('MetaData "Permission" "Argo.Type.Permission" "argo-0.2022.2.23-4XPruXmLyuVHtCz0cP5FeE" 'False) (C1 ('MetaCons "Allow" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Forbid" 'PrefixI 'False) (U1 :: Type -> Type))

toBool :: Permission -> Bool