Search results

identity :: forall a t. Category a => a t t

identity :: forall c a. HasIdentity c => ObjectOf c a => c a a

introduce :: forall v s c. HasIntroduce c s => ObjectOf c v => c s v

reflect :: forall v p c. Reflexive c p => ObjectOf c v => p v v

terminate :: forall v u c. HasTerminate c u => ObjectOf c v => c v u

idiot :: forall a t. Category a => a t t

I combinator - identity bird

SKK

Λ a . a → a

λ x . x

negate :: forall k s. RingCat k s => k s s

poly :: forall p a b. Profunctor p => Unital Function Unit Void Unit p => p a b

poly :: forall b a p. Unital Function Unit Void Unit p => p a b

ppure :: forall p a. Profunctor p => Unital Function Unit Unit Unit p => Strong p => p a a

ppure :: forall a p. Unital Function Unit Unit Unit p => Strong p => p a a

recip :: forall k s. DivisionRingCat k s => k s s

terminal :: forall t i p a. Cartesian t i p => p a i

bottom :: forall a. Bounded a => a

ff :: forall a. HeytingAlgebra a => a

genericBottom :: forall a rep. Generic a rep => GenericBottom rep => a

A Generic implementation of the bottom member from the Bounded type class.

genericBottom' :: forall a. GenericBottom a => a

genericFF :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a

A Generic implementation of the ff member from the HeytingAlgebra type class.

genericFF' :: forall a. GenericHeytingAlgebra a => a

genericMempty :: forall a rep. Generic a rep => GenericMonoid rep => a

A Generic implementation of the mempty member from the Monoid type class.

genericMempty' :: forall a. GenericMonoid a => a

genericOne :: forall a rep. Generic a rep => GenericSemiring rep => a

A Generic implementation of the one member from the Semiring type class.

genericOne' :: forall a. GenericSemiring a => a

genericTop :: forall a rep. Generic a rep => GenericTop rep => a

A Generic implementation of the top member from the Bounded type class.

genericTop' :: forall a. GenericTop a => a

genericTT :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a

A Generic implementation of the tt member from the HeytingAlgebra type class.

genericTT' :: forall a. GenericHeytingAlgebra a => a

genericZero :: forall a rep. Generic a rep => GenericSemiring rep => a

A Generic implementation of the zero member from the Semiring type class.

genericZero' :: forall a. GenericSemiring a => a

mempty :: forall m. Monoid m => m

one :: forall a. Semiring a => a

top :: forall a. Bounded a => a

tt :: forall a. HeytingAlgebra a => a

zero :: forall a. Semiring a => a

empty :: forall f a. Plus f => f a

crash :: forall a. Partial => a

A partial function which crashes on any input with a default message.

none :: forall f a. Unfoldable f => f a

The container with no elements - unfolded with zero iterations. For example:

none == ([] :: Array Unit)

genBoundedEnum :: forall m a. MonadGen m => BoundedEnum a => m a

Create a random generator for a finite enumeration.

conquer :: forall f a. Divisible f => f a

ask :: forall r m. MonadAsk r m => m r

get :: forall m s. MonadState s m => m s

Get the current state.

never :: forall e f m a. MonadBracket e f m => m a

nil :: forall f a. Alignable f => f a

undefined :: forall a. a

all :: forall a. All a => a

auto :: forall a. Auto a => a

baseline :: forall a. Baseline a => a

bottom :: forall a. Bottom a => a

center :: forall a. Center a => a

flexEnd :: forall a. FlexEnd a => a