Hydra.Dsl.Types

A DSL for constructing Hydra types

Documentation

(>:) :: String -> Type -> FieldType infixr 0

(<=>) :: String -> Type -> FieldType

(-->) :: Type -> Type -> Type infixr 0

(@@) :: Type -> Type -> Type

($$) :: Type -> Type -> Type

annot :: Map Name Term -> Type -> Type

apply :: Type -> Type -> Type

applyN :: [Type] -> Type

bigfloat :: Type

bigint :: Type

binary :: Type

boolean :: Type

enum :: [String] -> Type

field :: String -> Type -> FieldType

fieldsToMap :: [FieldType] -> Map Name Type

float32 :: Type

float64 :: Type

float :: FloatType -> Type

function :: Type -> Type -> Type

functionN :: [Type] -> Type

int16 :: Type

int32 :: Type

int64 :: Type

int8 :: Type

integer :: IntegerType -> Type

lambda :: String -> Type -> Type

lambdas :: [String] -> Type -> Type

list :: Type -> Type

literal :: LiteralType -> Type

map :: Type -> Type -> Type

mono :: Type -> TypeScheme

optional :: Type -> Type

pair :: Type -> Type -> Type

poly :: [String] -> Type -> TypeScheme

product :: [Type] -> Type

record :: [FieldType] -> Type

scheme :: [String] -> Type -> TypeScheme

set :: Type -> Type

string :: Type

sum :: [Type] -> Type

uint16 :: Type

uint32 :: Type

uint64 :: Type

uint8 :: Type

union :: [FieldType] -> Type

unit :: Type

var :: String -> Type

wrap :: Type -> Type

wrapWithName :: Name -> Type -> Type

Orphan instances

IsString Type

Methods

fromString :: String -> Type