Language.Fibration

Documentation

class NFN a b where

Methods

napp :: a -> b

Instances

NFN Float Integer

NFN Integer Float

NFN Integer Integer

class NFN1 a t b where

Methods

napp1 :: t -> a -> b

Instances

(NFN a t, NFN t b) => NFN1 a t b

test_nfn1 :: Integer

class NFN2 a tl t tr b where

Methods

napp2 :: (tl, t, tr) -> a -> b

Instances

(NFN1 a tl t, NFN1 t tr b) => NFN2 a tl t tr b

class NFN3 a tll tl tlr t trl tr trr b where

Methods

napp3 :: ((tll, tl, tlr), t, (trl, tr, trr)) -> a -> b

Instances

(NFN2 a tll tl tlr t, NFN2 t trl tr trr b) => NFN3 a tll tl tlr t trl tr trr b

test_nfn3 :: Integer

class FN s a b | s -> a, s -> b where

Methods

app :: s -> a -> b

Instances

FN L Integer Integer

FN (Float -> Integer) Float Integer

FN (Integer -> Float) Integer Float

FN (Integer -> Integer) Integer Integer

(FN u a t, FN v t b) => FN (u, v) a b

data L

Constructors

L

Instances

FN L Integer Integer