with-0.1.0: Simple open product type

Safe Haskell	Safe
Language	Haskell2010

Data.With

Synopsis

data a :&: b = a :&: b
type With = (:&:)

Documentation

data a :&: b infixr 1 Source #

Open prduct type

Constructors

a :&: b infixr 1

type With = (:&:) Source #