Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.ConstructorType

Documentation

data ConstructorType Source #

Constructors

Data
Effect

Instances

Instances details

Enum ConstructorType Source #
Instance details Defined in Unison.ConstructorType Methods succ :: ConstructorType -> ConstructorType # pred :: ConstructorType -> ConstructorType # toEnum :: Int -> ConstructorType # fromEnum :: ConstructorType -> Int # enumFrom :: ConstructorType -> [ConstructorType] # enumFromThen :: ConstructorType -> ConstructorType -> [ConstructorType] # enumFromTo :: ConstructorType -> ConstructorType -> [ConstructorType] # enumFromThenTo :: ConstructorType -> ConstructorType -> ConstructorType -> [ConstructorType] #
Generic ConstructorType Source #
Instance details Defined in Unison.ConstructorType Associated Types type Rep ConstructorType :: Type -> Type # Methods from :: ConstructorType -> Rep ConstructorType x # to :: Rep ConstructorType x -> ConstructorType #
Show ConstructorType Source #
Instance details Defined in Unison.ConstructorType Methods showsPrec :: Int -> ConstructorType -> ShowS # show :: ConstructorType -> String # showList :: [ConstructorType] -> ShowS #
Eq ConstructorType Source #
Instance details Defined in Unison.ConstructorType Methods (==) :: ConstructorType -> ConstructorType -> Bool # (/=) :: ConstructorType -> ConstructorType -> Bool #
Ord ConstructorType Source #
Instance details Defined in Unison.ConstructorType Methods compare :: ConstructorType -> ConstructorType -> Ordering # (<) :: ConstructorType -> ConstructorType -> Bool # (<=) :: ConstructorType -> ConstructorType -> Bool # (>) :: ConstructorType -> ConstructorType -> Bool # (>=) :: ConstructorType -> ConstructorType -> Bool # max :: ConstructorType -> ConstructorType -> ConstructorType # min :: ConstructorType -> ConstructorType -> ConstructorType #
type Rep ConstructorType Source #
Instance details Defined in Unison.ConstructorType type Rep ConstructorType = D1 ('MetaData "ConstructorType" "Unison.ConstructorType" "unison-core1-0.0.0-Kp7ZcNnt5XdB8ImvFwyntI" 'False) (C1 ('MetaCons "Data" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Effect" 'PrefixI 'False) (U1 :: Type -> Type))