DDF.List

Documentation

class Y r => List r where

Minimal complete definition

nil, cons, listMatch

Methods

nil :: r h [a]

cons :: r h (a -> [a] -> [a])

listMatch :: r h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: r h ([a] -> [a] -> [a])

Instances

List Eval

Methods

nil :: Eval h [a]

cons :: Eval h (a -> [a] -> [a])

listMatch :: Eval h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: Eval h ([a] -> [a] -> [a])

List Show

Methods

nil :: Show h [a]

cons :: Show h (a -> [a] -> [a])

listMatch :: Show h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: Show h ([a] -> [a] -> [a])

List Size

Methods

nil :: Size h [a]

cons :: Size h (a -> [a] -> [a])

listMatch :: Size h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: Size h ([a] -> [a] -> [a])

List repr => List (P repr)

Methods

nil :: P repr h [a]

cons :: P repr h (a -> [a] -> [a])

listMatch :: P repr h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: P repr h ([a] -> [a] -> [a])

SubL c List => List (Term c)

Methods

nil :: Term c h [a]

cons :: Term c h (a -> [a] -> [a])

listMatch :: Term c h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: Term c h ([a] -> [a] -> [a])

List r => List (UnHOAS r)

Methods

nil :: UnHOAS r h [a]

cons :: UnHOAS r h (a -> [a] -> [a])

listMatch :: UnHOAS r h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: UnHOAS r h ([a] -> [a] -> [a])

(Unit r, Prod r, List r) => List (UnLiftEnv r)

Methods

nil :: UnLiftEnv r h [a]

cons :: UnLiftEnv r h (a -> [a] -> [a])

listMatch :: UnLiftEnv r h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: UnLiftEnv r h ([a] -> [a] -> [a])

(Prod r, List r) => List (ImpW r)

Methods

nil :: ImpW r h [a]

cons :: ImpW r h (a -> [a] -> [a])

listMatch :: ImpW r h (b -> (a -> [a] -> b) -> [a] -> b)

listAppend :: ImpW r h ([a] -> [a] -> [a])

type SubLC c List

type SubLC c List = SubL c Y

cons2 :: List r => r h a1 -> r h [a1] -> r h [a1]

listMatch2 :: List r => r h a1 -> r h (a -> [a] -> a1) -> r h ([a] -> a1)

listMatch3 :: List r => r h b -> r h (a -> [a] -> b) -> r h [a] -> r h b

listAppend2 :: List r => r h [a] -> r h [a] -> r h [a]

module DDF.Y