hydra-0.1.0: Type-aware transformations for data and functional programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Impl.Haskell.Dsl.Types

Documentation

(>:) :: 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 #

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

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

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

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

list :: Type m -> Type m Source #

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

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

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

set :: Type m -> Type m Source #

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

Orphan instances

IsString (Type m) Source # 
Instance details

Methods

fromString :: String -> Type m #