DhallToCabal.FactorType

Documentation

data KnownType

Constructors

Package

Library

ForeignLibrary

Benchmark

Executable

TestSuite

SetupBuildInfo

BuildInfo

Config

SourceRepo

RepoType

RepoKind

Compiler

OS

Extension

CompilerOptions

Arch

Language

License

BuildType

Dependency

VersionRange

Version

SPDX

LicenseId

LicenseExceptionId

Scope

Mixin

ModuleRenaming

ForeignLibOption

ForeignLibType

TestType

Flag

Instances

Bounded KnownType

Defined in DhallToCabal.FactorType

Methods

minBound :: KnownType

maxBound :: KnownType

Enum KnownType

Defined in DhallToCabal.FactorType

Methods

succ :: KnownType -> KnownType

pred :: KnownType -> KnownType

toEnum :: Int -> KnownType

fromEnum :: KnownType -> Int

enumFrom :: KnownType -> [KnownType]

enumFromThen :: KnownType -> KnownType -> [KnownType]

enumFromTo :: KnownType -> KnownType -> [KnownType]

enumFromThenTo :: KnownType -> KnownType -> KnownType -> [KnownType]

Eq KnownType

Defined in DhallToCabal.FactorType

Methods

(==) :: KnownType -> KnownType -> Bool

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

Ord KnownType

Defined in DhallToCabal.FactorType

Methods

compare :: KnownType -> KnownType -> Ordering

(<) :: KnownType -> KnownType -> Bool

(<=) :: KnownType -> KnownType -> Bool

(>) :: KnownType -> KnownType -> Bool

(>=) :: KnownType -> KnownType -> Bool

max :: KnownType -> KnownType -> KnownType

min :: KnownType -> KnownType -> KnownType

Read KnownType

Defined in DhallToCabal.FactorType

Methods

readsPrec :: Int -> ReadS KnownType

readList :: ReadS [KnownType]

readPrec :: ReadPrec KnownType

readListPrec :: ReadPrec [KnownType]

Show KnownType

Defined in DhallToCabal.FactorType

Methods

showsPrec :: Int -> KnownType -> ShowS

show :: KnownType -> String

showList :: [KnownType] -> ShowS

factored :: KnownType -> Expr Src KnownType

mapWithBindings :: ((Text -> Var) -> a -> b) -> Expr s a -> Expr s b

The return value of this should be linted.