Symantic.Base.CurryN

Class CurryN

class CurryN args where

Produce and consume Tuples. Not actually useful for the Generic side of this module, but related through the use of Tuples.

Methods

curryN :: (Tuples args -> res) -> args -..-> res

uncurryN :: (args -..-> res) -> Tuples args -> res

mapresultN :: (a -> b) -> (args -..-> a) -> args -..-> b

Instances

CurryN (b ': as) => CurryN (a ': (b ': as))

Defined in Symantic.Base.CurryN

Methods

curryN :: (Tuples (a ': (b ': as)) -> res) -> (a ': (b ': as)) -..-> res

uncurryN :: ((a ': (b ': as)) -..-> res) -> Tuples (a ': (b ': as)) -> res

mapresultN :: (a0 -> b0) -> ((a ': (b ': as)) -..-> a0) -> (a ': (b ': as)) -..-> b0

CurryN (a ': ([] :: [Type]))

Defined in Symantic.Base.CurryN

Methods

curryN :: (Tuples (a ': []) -> res) -> (a ': []) -..-> res

uncurryN :: ((a ': []) -..-> res) -> Tuples (a ': []) -> res

mapresultN :: (a0 -> b) -> ((a ': []) -..-> a0) -> (a ': []) -..-> b

Type family (-..->)

type family (args :: [*]) -..-> (r :: *) :: * where ...

Equations

'[] -..-> r = r

(a ': args) -..-> r = a -> args -..-> r

Type family Args

type family Args (f :: *) :: [*] where ...

Equations

Args (a -> r) = a ': Args r

Args r = '[]

Type family Result

type family Result (as :: *) :: * where ...

Equations

Result (a -> r) = Result r

Result r = r