Hydra.Impl.Haskell.Dsl.Types

Documentation

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

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

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

annot :: m -> Type m -> Type m

apply :: Type m -> Type m -> Type m

bigfloat :: Type m

bigint :: Type m

binary :: Type m

boolean :: Type m

element :: Type m -> Type m

enum :: [String] -> Type m

field :: String -> Type m -> FieldType m

fieldsToMap :: [FieldType m] -> Map FieldName (Type m)

float32 :: Type m

float64 :: Type m

float :: FloatType -> Type m

function :: Type m -> Type m -> Type m

functionN :: [Type m] -> Type m -> Type m

int16 :: Type m

int32 :: Type m

int64 :: Type m

int8 :: Type m

integer :: IntegerType -> Type m

lambda :: String -> Type m -> Type m

list :: Type m -> Type m

isUnit :: Eq m => Type m -> Bool

literal :: LiteralType -> Type m

map :: Type m -> Type m -> Type m

nominal :: Name -> Type m

optional :: Type m -> Type m

product :: [Type m] -> Type m

record :: [FieldType m] -> Type m

set :: Type m -> Type m

string :: Type m

sum :: [Type m] -> Type m

uint16 :: Type m

uint32 :: Type m

uint64 :: Type m

uint8 :: Type m

union :: [FieldType m] -> Type m

unit :: Type m

variable :: String -> Type m

Orphan instances

IsString (Type m)

Methods

fromString :: String -> Type m