inf-backprop-0.1.0.2: Automatic differentiation and backpropagation.
Copyright(C) 2023 Alexey Tochin
LicenseBSD3 (see the file LICENSE)
MaintainerAlexey Tochin <Alexey.Tochin@gmail.com>
Safe HaskellNone
LanguageHaskell2010
Extensions
  • MonoLocalBinds
  • ScopedTypeVariables
  • TypeFamilies
  • GADTs
  • GADTSyntax
  • ConstraintKinds
  • InstanceSigs
  • DeriveFunctor
  • TypeSynonymInstances
  • FlexibleContexts
  • FlexibleInstances
  • ConstrainedClassMethods
  • MultiParamTypeClasses
  • KindSignatures
  • TupleSections
  • RankNTypes
  • ExplicitNamespaces
  • ExplicitForAll

IsomorphismClass.Extra

Description

Extra instances for IsomorphicTo typeclass from 'isomorphism-class' package.

Orphan instances

IsomorphicTo a a Source # 
Instance details

Methods

to :: a -> a #

IsomorphicTo a (Either Void a) Source #

Type sum commutativity.

Examples of usage

Expand
>>> import IsomorphismClass.Isomorphism (iso)
>>> (iso :: (->) (Either a b) (Either b a)) (Left 1)
Right 1
>>> (iso :: (->) (Either a b) (Either b a)) (Right "x")
Left "x"
Instance details

Methods

to :: Either Void a -> a #

IsomorphicTo a (Either a Void) Source # 
Instance details

Methods

to :: Either a Void -> a #

IsomorphicTo a ((), a) Source # 
Instance details

Methods

to :: ((), a) -> a #

IsomorphicTo a (a, ()) Source # 
Instance details

Methods

to :: (a, ()) -> a #

IsomorphicTo (Either a Void) a Source # 
Instance details

Methods

to :: a -> Either a Void #

IsomorphicTo (Either Void a) a Source # 
Instance details

Methods

to :: a -> Either Void a #

IsomorphicTo ((), a) a Source # 
Instance details

Methods

to :: a -> ((), a) #

IsomorphicTo (a, ()) a Source # 
Instance details

Methods

to :: a -> (a, ()) #

IsomorphicTo (Either (Either a b) (Either c d)) (Either (Either a c) (Either b d)) Source # 
Instance details

Methods

to :: Either (Either a c) (Either b d) -> Either (Either a b) (Either c d) #

IsomorphicTo (Either (Either a b) c) (Either a (Either b c)) Source # 
Instance details

Methods

to :: Either a (Either b c) -> Either (Either a b) c #

IsomorphicTo (Either a (Either b c)) (Either (Either a b) c) Source # 
Instance details

Methods

to :: Either (Either a b) c -> Either a (Either b c) #

IsomorphicTo (Either a b) (Either b a) Source # 
Instance details

Methods

to :: Either b a -> Either a b #

IsomorphicTo ((a, b), (c, d)) ((a, c), (b, d)) Source # 
Instance details

Methods

to :: ((a, c), (b, d)) -> ((a, b), (c, d)) #

IsomorphicTo ((a, b), c) (a, (b, c)) Source # 
Instance details

Methods

to :: (a, (b, c)) -> ((a, b), c) #

IsomorphicTo (a, (b, c)) ((a, b), c) Source # 
Instance details

Methods

to :: ((a, b), c) -> (a, (b, c)) #

IsomorphicTo (a, b) (b, a) Source #

Type product commutativity

Examples of usage

Expand
>>> import IsomorphismClass.Isomorphism (iso)
>>> (iso :: (->) (a, b) (b, a)) (1, "x")
("x",1)
Instance details

Methods

to :: (b, a) -> (a, b) #