Skip to contents

Infix constructor of a cofree comonad

Usage

attr %:<% carrier

Arguments

attr

The comonad attribute

carrier

The comonad carrier