Safe Haskell	None

Data.Yoko.Prelude

Documentation

data False_ Source

Constructors

False_

Instances

Generic * False_
DC * False_

data True_ Source

Constructors

True_

Instances

Generic * True_
DC * True_

data ()_ Source

Constructors

()_

Instances

Generic * ()_
DC * ()_

data :%_ a Source

Constructors

!a :%_ !a

Instances

~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic * (:%_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC * (:%_ a0)
Generic (* -> *) :%_
DC (* -> *) :%_

data (,)_ a b Source

Constructors

(,)_ a b

Instances

(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => Generic * ((,)_ a0 b0)
(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => DC * ((,)_ a0 b0)
Generic (* -> * -> *) (,)_
DC (* -> * -> *) (,)_
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic (* -> *) ((,)_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC (* -> *) ((,)_ a0)

data (,,)_ a b c Source

Constructors

(,,)_ a b c

Instances

(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0)), ~ Ordering EQ (Compare * (Spine * c0) (Spine * c0))) => Generic * ((,,)_ a0 b0 c0)
(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0)), ~ Ordering EQ (Compare * (Spine * c0) (Spine * c0))) => DC * ((,,)_ a0 b0 c0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic (* -> * -> *) ((,,)_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC (* -> * -> *) ((,,)_ a0)
(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => Generic (* -> *) ((,,)_ a0 b0)
(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => DC (* -> *) ((,,)_ a0 b0)

data Nothing_ a Source

Constructors

Nothing_

Instances

~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic * (Nothing_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC * (Nothing_ a0)
Generic (* -> *) Nothing_
DC (* -> *) Nothing_

data Just_ a Source

Constructors

Just_ a

Instances

~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic * (Just_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC * (Just_ a0)
Generic (* -> *) Just_
DC (* -> *) Just_

data Left_ a b Source

Constructors

Left_ a

Instances

(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => Generic * (Left_ a0 b0)
(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => DC * (Left_ a0 b0)
Generic (* -> * -> *) Left_
DC (* -> * -> *) Left_
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic (* -> *) (Left_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC (* -> *) (Left_ a0)

data Right_ a b Source

Constructors

Right_ b

Instances

(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => Generic * (Right_ a0 b0)
(~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)), ~ Ordering EQ (Compare * (Spine * b0) (Spine * b0))) => DC * (Right_ a0 b0)
Generic (* -> * -> *) Right_
DC (* -> * -> *) Right_
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => Generic (* -> *) (Right_ a0)
~ Ordering EQ (Compare * (Spine * a0) (Spine * a0)) => DC (* -> *) (Right_ a0)

data Nil_ p0 Source

Constructors

Nil_

Instances

Generic * (Nil_ a)
Generic (* -> *) Nil_

data Cons_ p0 Source

Constructors

Cons_ p0 [p0]

Instances

Generic * (Cons_ a)
Generic (* -> *) Cons_