type-machine-0.1.0.1: Type-level functions for record types

Safe Haskell	None
Language	Haskell2010

TypeMachine.Functions.Infix

Contents

Intersection
- Flipped Intersection
Union
- Flipped Union

Synopsis

(<#|>) :: Type -> Type -> TM Type
(<:#|>) :: Name -> Type -> TM Type
(<#|:>) :: Type -> Name -> TM Type
(<|#>) :: Type -> Type -> TM Type
(<:|#>) :: Name -> Type -> TM Type
(<|#:>) :: Type -> Name -> TM Type
(<#&>) :: Type -> Type -> TM Type
(<:#&>) :: Name -> Type -> TM Type
(<#&:>) :: Type -> Name -> TM Type
(<&#>) :: Type -> Type -> TM Type
(<:&#>) :: Name -> Type -> TM Type
(<&#:>) :: Type -> Name -> TM Type

Intersection

(<#|>) :: Type -> Type -> TM Type Source #

Alias to intersection

(<:#|>) :: Name -> Type -> TM Type Source #

Like <#|>, but the first parameter is a name

(<#|:>) :: Type -> Name -> TM Type Source #

Like <#|>, but the second parameter is a name

Flipped Intersection

(<|#>) :: Type -> Type -> TM Type Source #

Alias to intersection'

(<:|#>) :: Name -> Type -> TM Type Source #

Like <|#>, but the first parameter is a name

(<|#:>) :: Type -> Name -> TM Type Source #

Like <|#>, but the second parameter is a name

Union

(<#&>) :: Type -> Type -> TM Type Source #

Alias to union

(<:#&>) :: Name -> Type -> TM Type Source #

Like <#&>, but the first parameter is a name

(<#&:>) :: Type -> Name -> TM Type Source #

Like <#&>, but the second parameter is a name

Flipped Union

(<&#>) :: Type -> Type -> TM Type Source #

Alias to union'

(<:&#>) :: Name -> Type -> TM Type Source #

Like <&#>, but the first parameter is a name

(<&#:>) :: Type -> Name -> TM Type Source #

Like <&#>, but the second parameter is a name