Horizon.Spec.Types.Flag

Documentation

data Flag a where

Constructors

Enable :: a -> Flag a

Disable :: a -> Flag a

Instances

Generic (Flag a)

Defined in Horizon.Spec.Types.Flag

Associated Types

type Rep (Flag a) :: Type -> Type

Methods

from :: Flag a -> Rep (Flag a) x

to :: Rep (Flag a) x -> Flag a

Show a => Show (Flag a)

Defined in Horizon.Spec.Types.Flag

Methods

showsPrec :: Int -> Flag a -> ShowS

show :: Flag a -> String

showList :: [Flag a] -> ShowS

FromDhall a => FromDhall (Flag a)

Defined in Horizon.Spec.Types.Flag

Methods

autoWith :: InputNormalizer -> Decoder (Flag a)

ToDhall a => ToDhall (Flag a)

Defined in Horizon.Spec.Types.Flag

Methods

injectWith :: InputNormalizer -> Encoder (Flag a)

Eq a => Eq (Flag a)

Defined in Horizon.Spec.Types.Flag

Methods

(==) :: Flag a -> Flag a -> Bool

(/=) :: Flag a -> Flag a -> Bool

type Rep (Flag a)

Defined in Horizon.Spec.Types.Flag

type Rep (Flag a) = D1 ('MetaData "Flag" "Horizon.Spec.Types.Flag" "horizon-spec-0.6.4-IhjELmhIYRC1VNVwQDiIzd" 'False) (C1 ('MetaCons "Enable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Disable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))