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

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

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

annot :: m -> Type m -> Type m Source #

apply :: Type m -> Type m -> Type m Source #

bigfloat :: Type m Source #

bigint :: Type m Source #

binary :: Type m Source #

boolean :: Type m Source #

element :: Type m -> Type m Source #

enum :: [String] -> Type m Source #

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

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

float32 :: Type m Source #

float64 :: Type m Source #

float :: FloatType -> Type m Source #

function :: Type m -> Type m -> Type m Source #

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

int16 :: Type m Source #

int32 :: Type m Source #

int64 :: Type m Source #

int8 :: Type m Source #

integer :: IntegerType -> Type m Source #

lambda :: String -> Type m -> Type m Source #

list :: Type m -> Type m Source #

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

literal :: LiteralType -> Type m Source #

map :: Type m -> Type m -> Type m Source #

nominal :: Name -> Type m Source #

optional :: Type m -> Type m Source #

product :: [Type m] -> Type m Source #

record :: [FieldType m] -> Type m Source #

set :: Type m -> Type m Source #

string :: Type m Source #

sum :: [Type m] -> Type m Source #

uint16 :: Type m Source #

uint32 :: Type m Source #

uint64 :: Type m Source #

uint8 :: Type m Source #

union :: [FieldType m] -> Type m Source #

unit :: Type m Source #

variable :: String -> Type m Source #