PascalsTriangle - 0.1.0

Stdlib.Function

Definitions

: {A : Type} {B : Type} {C : Type} (B C) (A B) A CSource#

const : {A : Type} {B : Type} A B ASource#

id : {A : Type} A ASource#

flip : {A : Type} {B : Type} {C : Type} (A B C) B A CSource#

$ : {A : Type} {B : Type} (A B) A BSource#

on : {A : Type} {B : Type} {C : Type} (B B C) (A B) A A CSource#

case : {A : Type} {B : Type} A (A B) BSource#