Safe Haskell	None
Language	Haskell2010

Symantic.Class

Contents

Type ReprKind
Class Abstractable
- Class Functionable
Class Anythingable
Class Bottomable
Class Constantable
Class Eitherable
Class Equalable
Class IfThenElseable
Class Inferable
Class Listable
Class Maybeable
Class IsoFunctor
- Type Iso
Class ProductFunctor
Class SumFunctor
Class AlternativeFunctor
Class Dicurryable
Class Monoidable
- Class Emptyable
- Class Semigroupable
- Class Optionable
Class Repeatable
Class Permutable
Class Routable
Class Voidable
Class Substractable

Synopsis

type ReprKind = Type -> Type
class Abstractable repr where
- lam :: (repr a -> repr b) -> repr (a -> b)
- lam1 :: (repr a -> repr b) -> repr (a -> b)
- var :: repr a -> repr a
- (.@) :: repr (a -> b) -> repr a -> repr b
class Functionable repr where
- const :: repr (a -> b -> a)
- flip :: repr ((a -> b -> c) -> b -> a -> c)
- id :: repr (a -> a)
- (.) :: repr ((b -> c) -> (a -> b) -> a -> c)
- ($) :: repr ((a -> b) -> a -> b)
class Anythingable repr where
- anything :: repr a -> repr a
class Bottomable repr where
- bottom :: repr a
class Constantable c repr where
- constant :: c -> repr c
class Eitherable repr where
- left :: repr (l -> Either l r)
- right :: repr (r -> Either l r)
class Equalable repr where
- equal :: Eq a => repr (a -> a -> Bool)
(==) :: Abstractable repr => Equalable repr => Eq a => repr a -> repr a -> repr Bool
class IfThenElseable repr where
- ifThenElse :: repr Bool -> repr a -> repr a -> repr a
class Inferable a repr where
- infer :: repr a
unit :: Inferable () repr => repr ()
bool :: Inferable Bool repr => repr Bool
char :: Inferable Char repr => repr Char
int :: Inferable Int repr => repr Int
natural :: Inferable Natural repr => repr Natural
string :: Inferable String repr => repr String
class Listable repr where
- cons :: repr (a -> [a] -> [a])
- nil :: repr [a]
class Maybeable repr where
- nothing :: repr (Maybe a)
- just :: repr (a -> Maybe a)
class IsoFunctor repr where
- (<%>) :: Iso a b -> repr a -> repr b
data Iso a b = Iso {
- a2b :: a -> b
- b2a :: b -> a
}
class ProductFunctor repr where
- (<.>) :: repr a -> repr b -> repr (a, b)
- (<.) :: repr a -> repr () -> repr a
- (.>) :: repr () -> repr a -> repr a
class SumFunctor repr where
- (<+>) :: repr a -> repr b -> repr (Either a b)
class AlternativeFunctor repr where
- (<|>) :: repr a -> repr a -> repr a
class Dicurryable repr where
- dicurry :: CurryN args => proxy args -> (args -..-> a) -> (a -> Tuples args) -> repr (Tuples args) -> repr a
construct :: forall args a repr. Dicurryable repr => Generic a => EoTOfRep a => CurryN args => Tuples args ~ EoT (ADT a) => args ~ Args (args -..-> a) => (args -..-> a) -> repr (Tuples args) -> repr a
adt :: forall adt repr. IsoFunctor repr => Generic adt => RepOfEoT adt => EoTOfRep adt => repr (EoT (ADT adt)) -> repr adt
class (Emptyable repr, Semigroupable repr) => Monoidable repr
class Emptyable repr where
- empty :: repr a
class Semigroupable repr where
- concat :: Semigroup a => repr (a -> a -> a)
(<>) :: Abstractable repr => Semigroupable repr => Semigroup a => repr a -> repr a -> repr a
class Optionable repr where
- option :: repr a -> repr a
- optional :: repr a -> repr (Maybe a)
class Repeatable repr where
- many0 :: repr a -> repr [a]
- many1 :: repr a -> repr [a]
class Permutable repr where
- type Permutation (repr :: ReprKind) = (r :: ReprKind) | r -> repr
- permutable :: Permutation repr a -> repr a
- perm :: repr a -> Permutation repr a
- noPerm :: Permutation repr ()
- permWithDefault :: a -> repr a -> Permutation repr a
- optionalPerm :: Eitherable repr => IsoFunctor repr => Permutable repr => repr a -> Permutation repr (Maybe a)
(<&>) :: Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr (a, b)
(<?&>) :: Eitherable repr => IsoFunctor repr => Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr (Maybe a, b)
(<*&>) :: Eitherable repr => Repeatable repr => IsoFunctor repr => Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr ([a], b)
(<+&>) :: Eitherable repr => Repeatable repr => IsoFunctor repr => Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr ([a], b)
class Routable repr where
- (<!>) :: repr a -> repr b -> repr (a, b)
pattern (:!:) :: a -> b -> (a, b)
class Voidable repr where
- void :: a -> repr a -> repr ()
class Substractable repr where
- (<->) :: repr a -> repr b -> repr a

Type `ReprKind`

type ReprKind = Type -> Type Source #

Class `Abstractable`

class Abstractable repr where Source #

Minimal complete definition

Nothing

Methods

lam :: (repr a -> repr b) -> repr (a -> b) Source #

Lambda term abstraction, in HOAS (Higher-Order Abstract Syntax) style.

default lam :: FromDerived Abstractable repr => Derivable repr => (repr a -> repr b) -> repr (a -> b) Source #

lam1 :: (repr a -> repr b) -> repr (a -> b) Source #

Like lam but whose argument is used only once, hence safe to beta-reduce (inline) without duplicating work.

default lam1 :: FromDerived Abstractable repr => Derivable repr => (repr a -> repr b) -> repr (a -> b) Source #

var :: repr a -> repr a Source #

default var :: FromDerived1 Abstractable repr => repr a -> repr a Source #

(.@) :: repr (a -> b) -> repr a -> repr b infixl 9 Source #

Application, aka. unabstract.

default (.@) :: FromDerived2 Abstractable repr => repr (a -> b) -> repr a -> repr b Source #

Instances

Instances details

Abstractable View Source #
Instance details Defined in Symantic.View Methods lam :: (View a -> View b) -> View (a -> b) Source # lam1 :: (View a -> View b) -> View (a -> b) Source # var :: View a -> View a Source # (.@) :: View (a -> b) -> View a -> View b Source #
Abstractable repr => Abstractable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods lam :: (SomeData repr a -> SomeData repr b) -> SomeData repr (a -> b) Source # lam1 :: (SomeData repr a -> SomeData repr b) -> SomeData repr (a -> b) Source # var :: SomeData repr a -> SomeData repr a Source # (.@) :: SomeData repr (a -> b) -> SomeData repr a -> SomeData repr b Source #
Abstractable repr => Derivable (Data Abstractable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Abstractable repr a -> Derived (Data Abstractable repr) a Source #
data Data Abstractable repr a Source #
Instance details Defined in Symantic.Data data Data Abstractable repr a where (:@) :: forall (repr :: ReprKind) a b. SomeData repr (a -> b) -> SomeData repr a -> Data Abstractable repr b Lam :: forall (repr :: ReprKind) a b. (SomeData repr a -> SomeData repr b) -> Data Abstractable repr (a -> b) Lam1 :: forall (repr :: ReprKind) a b. (SomeData repr a -> SomeData repr b) -> Data Abstractable repr (a -> b) Var :: forall (repr :: Type -> Type) a. repr a -> Data Abstractable repr a

Class `Functionable`

class Functionable repr where Source #

Minimal complete definition

Nothing

Methods

const :: repr (a -> b -> a) Source #

default const :: FromDerived Functionable repr => repr (a -> b -> a) Source #

flip :: repr ((a -> b -> c) -> b -> a -> c) Source #

default flip :: FromDerived Functionable repr => repr ((a -> b -> c) -> b -> a -> c) Source #

id :: repr (a -> a) Source #

default id :: FromDerived Functionable repr => repr (a -> a) Source #

(.) :: repr ((b -> c) -> (a -> b) -> a -> c) infixr 9 Source #

default (.) :: FromDerived Functionable repr => repr ((b -> c) -> (a -> b) -> a -> c) Source #

($) :: repr ((a -> b) -> a -> b) infixr 0 Source #

default ($) :: FromDerived Functionable repr => repr ((a -> b) -> a -> b) Source #

Instances

Instances details

Abstractable repr => Functionable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods const :: SomeData repr (a -> b -> a) Source # flip :: SomeData repr ((a -> b -> c) -> b -> a -> c) Source # id :: SomeData repr (a -> a) Source # (.) :: SomeData repr ((b -> c) -> (a -> b) -> a -> c) Source # ($) :: SomeData repr ((a -> b) -> a -> b) Source #

Class `Anythingable`

class Anythingable repr where Source #

Minimal complete definition

Nothing

Methods

anything :: repr a -> repr a Source #

Instances

Instances details

Anythingable View Source #
Instance details Defined in Symantic.View Methods anything :: View a -> View a Source #
Anythingable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods anything :: SomeData repr a -> SomeData repr a Source #
Anythingable repr => Derivable (Data Anythingable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Anythingable repr a -> Derived (Data Anythingable repr) a Source #
Anythingable (Data Anythingable repr) Source #
Instance details Defined in Symantic.Data Methods anything :: Data Anythingable repr a -> Data Anythingable repr a Source #
data Data Anythingable repr a Source #
Instance details Defined in Symantic.Data data Data Anythingable repr a where Anything :: forall (repr :: Type -> Type) a. repr a -> Data Anythingable repr a

Class `Bottomable`

class Bottomable repr where Source #

Methods

bottom :: repr a Source #

Instances

Instances details

Bottomable View Source #
Instance details Defined in Symantic.View Methods bottom :: View a Source #
Bottomable repr => Derivable (Data Bottomable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Bottomable repr a -> Derived (Data Bottomable repr) a Source #
data Data Bottomable repr a Source #
Instance details Defined in Symantic.Data data Data Bottomable repr a where Bottom :: forall (repr :: ReprKind) a. Data Bottomable repr a

Class `Constantable`

class Constantable c repr where Source #

Minimal complete definition

Nothing

Methods

constant :: c -> repr c Source #

default constant :: FromDerived (Constantable c) repr => c -> repr c Source #

Instances

Instances details

Show c => Constantable c View Source #
Instance details Defined in Symantic.View Methods constant :: c -> View c Source #
(Constantable c repr, Typeable c) => Constantable c (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods constant :: c -> SomeData repr c Source #
Constantable c (Data (Constantable c) repr) Source #
Instance details Defined in Symantic.Data Methods constant :: c -> Data (Constantable c) repr c Source #
Constantable c repr => Derivable (Data (Constantable c) repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data (Constantable c) repr a -> Derived (Data (Constantable c) repr) a Source #
data Data (Constantable c) repr a Source #
Instance details Defined in Symantic.Data data Data (Constantable c) repr a where Constant :: forall c (repr :: ReprKind). c -> Data (Constantable c) repr c

Class `Eitherable`

class Eitherable repr where Source #

Minimal complete definition

Nothing

Methods

left :: repr (l -> Either l r) Source #

default left :: FromDerived Eitherable repr => repr (l -> Either l r) Source #

right :: repr (r -> Either l r) Source #

default right :: FromDerived Eitherable repr => repr (r -> Either l r) Source #

Instances

Instances details

Eitherable View Source #
Instance details Defined in Symantic.View Methods left :: View (l -> Either l r) Source # right :: View (r -> Either l r) Source #
Eitherable repr => Eitherable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods left :: SomeData repr (l -> Either l r) Source # right :: SomeData repr (r -> Either l r) Source #
Eitherable repr => Derivable (Data Eitherable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Eitherable repr a -> Derived (Data Eitherable repr) a Source #
Eitherable (Data Eitherable repr) Source #
Instance details Defined in Symantic.Data Methods left :: Data Eitherable repr (l -> Either l r) Source # right :: Data Eitherable repr (r -> Either l r) Source #
data Data Eitherable repr a Source #
Instance details Defined in Symantic.Data data Data Eitherable repr a where Left :: forall (repr :: ReprKind) l r. Data Eitherable repr (l -> Either l r) Right :: forall (repr :: ReprKind) r l. Data Eitherable repr (r -> Either l r)

Class `Equalable`

class Equalable repr where Source #

Minimal complete definition

Nothing

Methods

equal :: Eq a => repr (a -> a -> Bool) infix 4 Source #

default equal :: FromDerived Equalable repr => Eq a => repr (a -> a -> Bool) Source #

Instances

Instances details

Equalable View Source #
Instance details Defined in Symantic.View Methods equal :: Eq a => View (a -> a -> Bool) Source #
Equalable repr => Equalable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods equal :: Eq a => SomeData repr (a -> a -> Bool) Source #
Equalable repr => Derivable (Data Equalable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Equalable repr a -> Derived (Data Equalable repr) a Source #
Equalable (Data Equalable repr) Source #
Instance details Defined in Symantic.Data Methods equal :: Eq a => Data Equalable repr (a -> a -> Bool) Source #
data Data Equalable repr a Source #
Instance details Defined in Symantic.Data data Data Equalable repr a where Equal :: forall a (repr :: ReprKind). Eq a => Data Equalable repr (a -> a -> Bool)

(==) :: Abstractable repr => Equalable repr => Eq a => repr a -> repr a -> repr Bool infix 4 Source #

Class `IfThenElseable`

class IfThenElseable repr where Source #

Minimal complete definition

Nothing

Methods

ifThenElse :: repr Bool -> repr a -> repr a -> repr a Source #

default ifThenElse :: FromDerived3 IfThenElseable repr => repr Bool -> repr a -> repr a -> repr a Source #

Instances

Instances details

IfThenElseable repr => IfThenElseable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods ifThenElse :: SomeData repr Bool -> SomeData repr a -> SomeData repr a -> SomeData repr a Source #
IfThenElseable repr => Derivable (Data IfThenElseable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data IfThenElseable repr a -> Derived (Data IfThenElseable repr) a Source #
IfThenElseable repr => IfThenElseable (Data IfThenElseable repr) Source #
Instance details Defined in Symantic.Data Methods ifThenElse :: Data IfThenElseable repr Bool -> Data IfThenElseable repr a -> Data IfThenElseable repr a -> Data IfThenElseable repr a Source #
data Data IfThenElseable repr a Source #
Instance details Defined in Symantic.Data data Data IfThenElseable repr a where IfThenElse :: forall (repr :: ReprKind) a. SomeData repr Bool -> SomeData repr a -> SomeData repr a -> Data IfThenElseable repr a

Class `Inferable`

class Inferable a repr where Source #

Minimal complete definition

Nothing

Methods

infer :: repr a Source #

default infer :: FromDerived (Inferable a) repr => repr a Source #

unit :: Inferable () repr => repr () Source #

bool :: Inferable Bool repr => repr Bool Source #

char :: Inferable Char repr => repr Char Source #

int :: Inferable Int repr => repr Int Source #

natural :: Inferable Natural repr => repr Natural Source #

string :: Inferable String repr => repr String Source #

Class `Listable`

class Listable repr where Source #

Minimal complete definition

Nothing

Methods

cons :: repr (a -> [a] -> [a]) Source #

default cons :: FromDerived Listable repr => repr (a -> [a] -> [a]) Source #

nil :: repr [a] Source #

default nil :: FromDerived Listable repr => repr [a] Source #

Instances

Instances details

Listable View Source #
Instance details Defined in Symantic.View Methods cons :: View (a -> [a] -> [a]) Source # nil :: View [a] Source #
Listable repr => Listable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods cons :: SomeData repr (a -> [a] -> [a]) Source # nil :: SomeData repr [a] Source #
Listable repr => Derivable (Data Listable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Listable repr a -> Derived (Data Listable repr) a Source #
Listable (Data Listable repr) Source #
Instance details Defined in Symantic.Data Methods cons :: Data Listable repr (a -> [a] -> [a]) Source # nil :: Data Listable repr [a] Source #
data Data Listable repr a Source #
Instance details Defined in Symantic.Data data Data Listable repr a where Cons :: forall (repr :: ReprKind) a. Data Listable repr (a -> [a] -> [a]) Nil :: forall (repr :: ReprKind) a. Data Listable repr [a]

Class `Maybeable`

class Maybeable repr where Source #

Minimal complete definition

Nothing

Methods

nothing :: repr (Maybe a) Source #

default nothing :: FromDerived Maybeable repr => repr (Maybe a) Source #

just :: repr (a -> Maybe a) Source #

default just :: FromDerived Maybeable repr => repr (a -> Maybe a) Source #

Instances

Instances details

Maybeable View Source #
Instance details Defined in Symantic.View Methods nothing :: View (Maybe a) Source # just :: View (a -> Maybe a) Source #
Maybeable repr => Maybeable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods nothing :: SomeData repr (Maybe a) Source # just :: SomeData repr (a -> Maybe a) Source #
Maybeable repr => Derivable (Data Maybeable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Maybeable repr a -> Derived (Data Maybeable repr) a Source #
Maybeable (Data Maybeable repr) Source #
Instance details Defined in Symantic.Data Methods nothing :: Data Maybeable repr (Maybe a) Source # just :: Data Maybeable repr (a -> Maybe a) Source #
data Data Maybeable repr a Source #
Instance details Defined in Symantic.Data data Data Maybeable repr a where Nothing :: forall (repr :: ReprKind) a. Data Maybeable repr (Maybe a) Just :: forall (repr :: ReprKind) a. Data Maybeable repr (a -> Maybe a)

Class `IsoFunctor`

class IsoFunctor repr where Source #

Minimal complete definition

Nothing

Methods

(<%>) :: Iso a b -> repr a -> repr b infixl 4 Source #

default (<%>) :: FromDerived1 IsoFunctor repr => Iso a b -> repr a -> repr b Source #

Type `Iso`

data Iso a b Source #

Constructors

Iso
Fields a2b :: a -> b b2a :: b -> a

Instances

Instances details

Category Iso Source #
Instance details Defined in Symantic.Class Methods id :: forall (a :: k). Iso a a # (.) :: forall (b :: k) (c :: k) (a :: k). Iso b c -> Iso a b -> Iso a c #

Class `ProductFunctor`

class ProductFunctor repr where Source #

Beware that this is an infixr, not infixl like to <*>; this is to follow what is expected by ADT.

Minimal complete definition

Nothing

Methods

(<.>) :: repr a -> repr b -> repr (a, b) infixr 4 Source #

default (<.>) :: FromDerived2 ProductFunctor repr => repr a -> repr b -> repr (a, b) Source #

(<.) :: repr a -> repr () -> repr a infixr 4 Source #

default (<.) :: IsoFunctor repr => repr a -> repr () -> repr a Source #

(.>) :: repr () -> repr a -> repr a infixr 4 Source #

default (.>) :: IsoFunctor repr => repr () -> repr a -> repr a Source #

Class `SumFunctor`

class SumFunctor repr where Source #

Beware that this is an infixr, not infixl like to <|>; this is to follow what is expected by ADT.

Minimal complete definition

Nothing

Methods

(<+>) :: repr a -> repr b -> repr (Either a b) infixr 3 Source #

default (<+>) :: FromDerived2 SumFunctor repr => repr a -> repr b -> repr (Either a b) Source #

Class `AlternativeFunctor`

class AlternativeFunctor repr where Source #

Beware that this is an infixr, not infixl like to <|>; this is to follow what is expected by ADT.

Minimal complete definition

Nothing

Methods

(<|>) :: repr a -> repr a -> repr a infixr 3 Source #

default (<|>) :: FromDerived2 AlternativeFunctor repr => repr a -> repr a -> repr a Source #

Class `Dicurryable`

class Dicurryable repr where Source #

Minimal complete definition

Nothing

Methods

dicurry :: CurryN args => proxy args -> (args -..-> a) -> (a -> Tuples args) -> repr (Tuples args) -> repr a Source #

default dicurry :: FromDerived1 Dicurryable repr => CurryN args => proxy args -> (args -..-> a) -> (a -> Tuples args) -> repr (Tuples args) -> repr a Source #

construct :: forall args a repr. Dicurryable repr => Generic a => EoTOfRep a => CurryN args => Tuples args ~ EoT (ADT a) => args ~ Args (args -..-> a) => (args -..-> a) -> repr (Tuples args) -> repr a Source #

adt :: forall adt repr. IsoFunctor repr => Generic adt => RepOfEoT adt => EoTOfRep adt => repr (EoT (ADT adt)) -> repr adt Source #

Class `Monoidable`

class (Emptyable repr, Semigroupable repr) => Monoidable repr Source #

Instances

Instances details

(Emptyable repr, Semigroupable repr) => Monoidable repr Source #
Instance details Defined in Symantic.Class

Class `Emptyable`

class Emptyable repr where Source #

Minimal complete definition

Nothing

Methods

empty :: repr a Source #

default empty :: FromDerived Emptyable repr => repr a Source #

Instances

Instances details

Emptyable repr => Emptyable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods empty :: SomeData repr a Source #
Emptyable repr => Derivable (Data Emptyable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Emptyable repr a -> Derived (Data Emptyable repr) a Source #
Emptyable (Data Emptyable repr) Source #
Instance details Defined in Symantic.Data Methods empty :: Data Emptyable repr a Source #
data Data Emptyable repr a Source #
Instance details Defined in Symantic.Data data Data Emptyable repr a where Empty :: forall (repr :: ReprKind) a. Data Emptyable repr a

Class `Semigroupable`

class Semigroupable repr where Source #

Minimal complete definition

Nothing

Methods

concat :: Semigroup a => repr (a -> a -> a) infixr 6 Source #

default concat :: FromDerived Semigroupable repr => Semigroup a => repr (a -> a -> a) Source #

Instances

Instances details

Semigroupable repr => Semigroupable (SomeData repr) Source #
Instance details Defined in Symantic.Data Methods concat :: Semigroup a => SomeData repr (a -> a -> a) Source #
Semigroupable repr => Derivable (Data Semigroupable repr) Source #
Instance details Defined in Symantic.Data Methods derive :: Data Semigroupable repr a -> Derived (Data Semigroupable repr) a Source #
Semigroupable (Data Semigroupable repr) Source #
Instance details Defined in Symantic.Data Methods concat :: Semigroup a => Data Semigroupable repr (a -> a -> a) Source #
data Data Semigroupable repr a Source #
Instance details Defined in Symantic.Data data Data Semigroupable repr a where Concat :: forall a (repr :: ReprKind). Semigroup a => Data Semigroupable repr (a -> a -> a)

(<>) :: Abstractable repr => Semigroupable repr => Semigroup a => repr a -> repr a -> repr a infixr 6 Source #

Class `Optionable`

class Optionable repr where Source #

Minimal complete definition

Nothing

Methods

option :: repr a -> repr a Source #

default option :: FromDerived1 Optionable repr => repr a -> repr a Source #

optional :: repr a -> repr (Maybe a) Source #

default optional :: FromDerived1 Optionable repr => repr a -> repr (Maybe a) Source #

Class `Repeatable`

class Repeatable repr where Source #

Minimal complete definition

Nothing

Methods

many0 :: repr a -> repr [a] Source #

default many0 :: FromDerived1 Repeatable repr => repr a -> repr [a] Source #

many1 :: repr a -> repr [a] Source #

default many1 :: FromDerived1 Repeatable repr => repr a -> repr [a] Source #

Class `Permutable`

class Permutable repr where Source #

Minimal complete definition

permutable, perm, noPerm, permWithDefault

Associated Types

type Permutation (repr :: ReprKind) = (r :: ReprKind) | r -> repr Source #

type Permutation repr = Permutation (Derived repr)

Methods

permutable :: Permutation repr a -> repr a Source #

perm :: repr a -> Permutation repr a Source #

noPerm :: Permutation repr () Source #

permWithDefault :: a -> repr a -> Permutation repr a Source #

optionalPerm :: Eitherable repr => IsoFunctor repr => Permutable repr => repr a -> Permutation repr (Maybe a) Source #

(<&>) :: Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr (a, b) infixr 4 Source #

(<?&>) :: Eitherable repr => IsoFunctor repr => Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr (Maybe a, b) infixr 4 Source #

(<*&>) :: Eitherable repr => Repeatable repr => IsoFunctor repr => Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr ([a], b) infixr 4 Source #

(<+&>) :: Eitherable repr => Repeatable repr => IsoFunctor repr => Permutable repr => ProductFunctor (Permutation repr) => repr a -> Permutation repr b -> Permutation repr ([a], b) infixr 4 Source #

Class `Routable`

class Routable repr where Source #

Minimal complete definition

Nothing

Methods

(<!>) :: repr a -> repr b -> repr (a, b) infixr 4 Source #

default (<!>) :: FromDerived2 Routable repr => repr a -> repr b -> repr (a, b) Source #

pattern (:!:) :: a -> b -> (a, b) infixr 4 Source #

Like (,) but infixr. Mostly useful for clarity when using Routable.

Class `Voidable`

class Voidable repr where Source #

FIXME: this class should likely be removed

Minimal complete definition

Nothing

Methods

void :: a -> repr a -> repr () Source #

default void :: FromDerived1 Voidable repr => a -> repr a -> repr () Source #

Class `Substractable`

class Substractable repr where Source #

Minimal complete definition

Nothing

Methods

(<->) :: repr a -> repr b -> repr a infixr 3 Source #

default (<->) :: FromDerived2 Substractable repr => repr a -> repr b -> repr a Source #

Type ReprKind

Class Abstractable

Instances

Class Functionable

Instances

Class Anythingable

Instances

Class Bottomable

Instances

Class Constantable

Instances

Class Eitherable

Instances

Class Equalable

Instances

Class IfThenElseable

Instances

Class Inferable

Class Listable

Instances

Class Maybeable

Instances

Class IsoFunctor

Type Iso

Instances

Class ProductFunctor

Class SumFunctor

Class AlternativeFunctor

Class Dicurryable

Class Monoidable

Instances

Class Emptyable

Instances

Class Semigroupable

Instances

Class Optionable

Class Repeatable

Class Permutable

Class Routable

Class Voidable

Class Substractable

Type `ReprKind`

Class `Abstractable`

Class `Functionable`

Class `Anythingable`

Class `Bottomable`

Class `Constantable`

Class `Eitherable`

Class `Equalable`

Class `IfThenElseable`

Class `Inferable`

Class `Listable`

Class `Maybeable`

Class `IsoFunctor`

Type `Iso`

Class `ProductFunctor`

Class `SumFunctor`

Class `AlternativeFunctor`

Class `Dicurryable`

Class `Monoidable`

Class `Emptyable`

Class `Semigroupable`

Class `Optionable`

Class `Repeatable`

Class `Permutable`

Class `Routable`

Class `Voidable`

Class `Substractable`